TCR_TBI1_TOPBYTE_IGNORED (reference) in projects: xnu-11215.61.5

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

/xnu-11215.61.5/osfmk/arm64/
H A D	proc_reg.h	`910 #define TCR_TBI1_TOPBYTE_IGNORED (1ULL << 38) macro 1017 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED \| TCR_TBID1_ENABLE)`
H A D	arm_vm_init.c	`1772 new_tcr \|= TCR_TBI1_TOPBYTE_IGNORED; in arm_set_kernel_tbi()`