Symbol: TCR_EL2_SH0_SHIFT
sys/arm64/include/hypervisor.h
2089
#define TCR_EL2_SH0_MASK (0x3UL << TCR_EL2_SH0_SHIFT)
sys/arm64/include/hypervisor.h
2090
#define TCR_EL2_SH0_IS (3UL << TCR_EL2_SH0_SHIFT)