-
Masahiro Yamada authored
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>
8f4dbaab
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>