Symbol: TCR_EL2_T0SZ_SHIFT
sys/arm64/include/hypervisor.h
2069
#define TCR_EL2_T0SZ_MASK (0x3fUL << TCR_EL2_T0SZ_SHIFT)
sys/arm64/include/hypervisor.h
2070
#define TCR_EL2_T0SZ(x) ((x) << TCR_EL2_T0SZ_SHIFT)