Symbol: TCR_TBI0
sys/arch/aarch64/aarch64/aarch64_machdep.c
465
tcr |= TCR_TBI0;
sys/arch/aarch64/aarch64/aarch64_machdep.c
467
tcr &= ~TCR_TBI0;
sys/arch/aarch64/aarch64/aarch64_machdep.c
479
cur = val = (tcr & TCR_TBI0) ? 1 : 0;
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;