Symbol: TCR_TBI0
arch/arm64/include/asm/kvm_nested.h
26
((tcr & TCR_EL2_TBI) ? TCR_TBI0 : 0) |
arch/arm64/kvm/at.c
220
FIELD_GET(TCR_TBI0, tcr)));
arch/arm64/kvm/pauth.c
79
tbi = tcr & TCR_TBI0;