Symbol: TCR_T1SZ_SHIFT
sys/arm64/include/armreg.h
2855
#define TCR_T1SZ_MASK (UL(0x3f) << TCR_T1SZ_SHIFT)
sys/arm64/include/armreg.h
2856
#define TCR_T1SZ(x) ((x) << TCR_T1SZ_SHIFT)
sys/arm64/vmm/vmm_arm64.c
883
tsz = (paging->tcr_el1 & TCR_T1SZ_MASK) >> TCR_T1SZ_SHIFT;