Symbol: TCR_EL2_TBI
arch/arm64/include/asm/kvm_nested.h
26
((tcr & TCR_EL2_TBI) ? TCR_TBI0 : 0) |
arch/arm64/kvm/at.c
217
FIELD_GET(TCR_EL2_TBI, tcr) :