Searched defs:VTTBR_VMID_SHIFT (Results 1 – 2 of 2) sorted by relevance
| /trusted-firmware-a-latest/include/arch/aarch32/ | ||
| D | arch.h | 281 #define VTTBR_VMID_SHIFT U(48) macro |
| /trusted-firmware-a-latest/include/arch/aarch64/ | ||
| D | arch.h | 656 #define VTTBR_VMID_SHIFT U(48) macro |