Symbol: TCR_EL2_ORGN0_SHIFT
sys/arm64/include/hypervisor.h
2086
#define TCR_EL2_ORGN0_MASK (0x3UL << TCR_EL2_ORGN0_SHIFT)
sys/arm64/include/hypervisor.h
2087
#define TCR_EL2_ORGN0_WBWA (1UL << TCR_EL2_ORGN0_SHIFT)