Searched defs:VTTBR_RESET_VAL (Results 1 – 2 of 2) sorted by relevance
| /trusted-firmware-a/include/arch/aarch32/ | ||
| A D | arch.h | 264 #define VTTBR_RESET_VAL ULL(0x0) macro |
| /trusted-firmware-a/include/arch/aarch64/ | ||
| A D | arch.h | 533 #define VTTBR_RESET_VAL ULL(0x0) macro |
Completed in 13 milliseconds