Home
last modified time | relevance | path

Searched refs:TCR_TBID1_ENABLE (Results 1 – 2 of 2) sorted by relevance

/xnu-11215.61.5/osfmk/arm64/
H A Dproc_reg.h916 #define TCR_TBID1_ENABLE TCR_TBID1_TBI_DATA_ONLY macro
919 #define TCR_TBID1_ENABLE 0 macro
1017 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED | TCR_TBID1_ENABLE)
H A Darm_vm_init.c1773 new_tcr |= TCR_TBID1_ENABLE; in arm_set_kernel_tbi()