Home
last modified time | relevance | path

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

/xnu-8020.140.41/osfmk/arm64/
H A Dproc_reg.h624 #define TCR_TBID1_ENABLE TCR_TBID1_TBI_DATA_ONLY macro
627 #define TCR_TBID1_ENABLE 0 macro
722 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED | TCR_TBID1_ENABLE)
H A Darm_vm_init.c1713 new_tcr |= TCR_TBID1_ENABLE; in arm_set_kernel_tbi()