Searched refs:VTTBR_64 (Results 1 – 2 of 2) sorted by relevance
| /external/arm-trusted-firmware/include/arch/aarch32/ | ||
| D | arch_helpers.h | 246 DEFINE_COPROCR_RW_FUNCS_64(vttbr, VTTBR_64) in DEFINE_SYSREG_RW_FUNCS() |
| D | arch.h | 588 #define VTTBR_64 p15, 6, c2 macro |