sys/arch/arm64/arm64/cpu.c

1696

tcr &= ~TCR_T0SZ(0x3f);

sys/arch/arm64/arm64/cpu.c

1697

tcr |= TCR_T0SZ(64 - USER_SPACE_BITS);

sys/arch/arm64/arm64/pmap.c

1693

tcr &= ~TCR_T0SZ(0x3f);

sys/arch/arm64/arm64/pmap.c

1694

tcr |= TCR_T0SZ(64 - USER_SPACE_BITS);

sys/arch/arm64/dev/efi_machdep.c

259

tcr &= ~TCR_T0SZ(0x3f);

sys/arch/arm64/dev/efi_machdep.c

260

tcr |= TCR_T0SZ(64 - EFI_SPACE_BITS);

sys/arch/arm64/dev/efi_machdep.c

282

tcr &= ~TCR_T0SZ(0x3f);

sys/arch/arm64/dev/efi_machdep.c

283

tcr |= TCR_T0SZ(64 - USER_SPACE_BITS);

sys/arch/arm64/include/armreg.h

944

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