Symbol: TCR_EL2_IRGN0_SHIFT
sys/arm64/include/hypervisor.h
2073
#define TCR_EL2_IRGN0_MASK (0x3UL << TCR_EL2_IRGN0_SHIFT)
sys/arm64/include/hypervisor.h
2074
#define TCR_EL2_IRGN0_WBWA (1UL << TCR_EL2_IRGN0_SHIFT)