Searched defs:HCR_TGE_BIT (Results 1 – 2 of 2) sorted by relevance
| /trusted-firmware-a-latest/include/arch/aarch32/ | ||
| D | arch.h | 247 #define HCR_TGE_BIT (U(1) << 27) macro |
| /trusted-firmware-a-latest/include/arch/aarch64/ | ||
| D | arch.h | 669 #define HCR_TGE_BIT (ULL(1) << 27) macro |