Masahiro Yamada 8f4dbaab64 arch_helpers: use u_register_t for register read/write ... u_register_t is preferred rather than uint64_t. This is more consistent with the aarch32 implementation. Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>		2018-04-27 18:35:02 +09:00
..
arch.h	Fix some MISRA defects in SPM code	2018-04-17 15:10:18 +01:00
arch_helpers.h	arch_helpers: use u_register_t for register read/write	2018-04-27 18:35:02 +09:00
smcc_helpers.h	Rename 'smcc' to 'smccc'	2018-03-21 10:49:27 +00:00
smccc_helpers.h	Rename 'smcc' to 'smccc'	2018-03-21 10:49:27 +00:00