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_helpers.h

arch_helpers: use u_register_t for register read/write

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

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