Symbol: TTBCR_EAE
arch/arm64/kvm/inject_fault.c
205
if (vcpu_read_sys_reg(vcpu, TCR_EL1) & TTBCR_EAE) {
arch/arm64/kvm/inject_fault.c
311
!(vcpu_read_sys_reg(vcpu, TCR_EL1) & TTBCR_EAE))