Symbol: TCR_T1SZ_SHIFT
headers/private/kernel/arch/arm64/arm_registers.h
642
#define TCR_T1SZ(x) ((x) << TCR_T1SZ_SHIFT)
src/system/boot/platform/efi/arch/arm64/aarch64.h
192
static constexpr uint64 T1SZ_MASK = TxSZ_MASK << TCR_T1SZ_SHIFT;
src/system/boot/platform/efi/arch/arm64/aarch64.h
224
return 64 - ((reg & T1SZ_MASK) >> TCR_T1SZ_SHIFT);