Home
last modified time | relevance | path

Searched refs:TCR_EL1_4KB (Results 1 – 3 of 3) sorted by relevance

/xnu-12377.81.4/osfmk/arm64/
H A Dproc_reg.h1173 #define TCR_EL1_4KB (TCR_EL1_BASE | (T1SZ_BOOT << TCR_T1SZ_SHIFT) | (TCR_TG0_GRANULE_4KB)) macro
/xnu-12377.81.4/osfmk/arm64/sptm/pmap/
H A Dpmap.c309 .pta_tcr_value = TCR_EL1_4KB,
314 .pta_va_valid_mask = ARM_PTE_T0_REGION_MASK(TCR_EL1_4KB),
/xnu-12377.81.4/osfmk/arm/pmap/
H A Dpmap.c292 .pta_tcr_value = TCR_EL1_4KB,
297 .pta_va_valid_mask = ARM_PTE_T0_REGION_MASK(TCR_EL1_4KB),