Searched defs:VTTBR_BADDR_MASK (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/include/arch/aarch32/ | ||
| H A D | arch.h | 286 #define VTTBR_BADDR_MASK ULL(0xffffffffffff) macro |
| /rk3399_ARM-atf/include/arch/aarch64/ | ||
| H A D | arch.h | 870 #define VTTBR_BADDR_MASK global() macro |