Symbol: TCR_TBI1
sys/arch/aarch64/include/cpufunc.h
167
tbi = addrtop ? TCR_TBI1 : TCR_TBI0;
sys/arch/aarch64/include/cpufunc.h
200
tbi = addrtop ? TCR_TBI1 : TCR_TBI0;