Symbol: kvm_vcpu_dabt_isvalid
arch/arm64/kvm/hyp/include/hyp/switch.h
818
kvm_vcpu_dabt_isvalid(vcpu) &&
arch/arm64/kvm/mmio.c
173
if (!kvm_vcpu_dabt_isvalid(vcpu)) {