Searched defs:VTTBR_VMID_MASK (Results 1 – 2 of 2) sorted by relevance
| /arm-trusted-firmware/include/arch/aarch32/ | ||
| H A D | arch.h | 280 #define VTTBR_VMID_MASK ULL(0xff) macro |
| /arm-trusted-firmware/include/arch/aarch64/ | ||
| H A D | arch.h | 655 #define VTTBR_VMID_MASK ULL(0xff) macro |