TCR_T1SZ - Haiku

Symbol: TCR_T1SZ

headers/private/kernel/arch/arm64/arm_registers.h

#define TCR_TxSZ(x) (TCR_T1SZ(x) | TCR_T0SZ(x))

src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp

tcr |= TCR_T1SZ(__builtin_popcountl(KERNEL_BASE));