TCR_TBI0_TOPBYTE_IGNORED (reference) in projects: xnu-11215.61.5

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

/xnu-11215.61.5/osfmk/arm64/
H A D	proc_reg.h	`909 #define TCR_TBI0_TOPBYTE_IGNORED (1ULL << 37) macro 1033 TCR_TBI0_TOPBYTE_IGNORED \| (TCR_TBID0_ENABLE) \| TCR_E0PD_VALUE \| \`
H A D	arm_vm_init.c	`1789 new_tcr \|= TCR_TBI0_TOPBYTE_IGNORED; in arm_set_user_tbi()`