Searched defs:VTTBR_BADDR_SHIFT (Results 1 – 2 of 2) sorted by relevance
| /external/arm-trusted-firmware/include/arch/aarch32/ | ||
| D | arch.h | 253 #define VTTBR_BADDR_SHIFT U(0) macro |
| /external/arm-trusted-firmware/include/arch/aarch64/ | ||
| D | arch.h | 479 #define VTTBR_BADDR_SHIFT U(0) macro |