Symbol: TCR_T0SZ_SHIFT
sys/arm64/include/armreg.h
2872
#define TCR_T0SZ_MASK (UL(0x3f) << TCR_T0SZ_SHIFT)
sys/arm64/include/armreg.h
2873
#define TCR_T0SZ(x) ((x) << TCR_T0SZ_SHIFT)
sys/arm64/vmm/vmm_arm64.c
912
tsz = (paging->tcr_el1 & TCR_T0SZ_MASK) >> TCR_T0SZ_SHIFT;