kvm_vcpu_dabt_get_rd   64 arch/arm64/kvm/hyp/vgic-v2-cpuif-proxy.c 	rd = kvm_vcpu_dabt_get_rd(vcpu);
kvm_vcpu_dabt_get_rd  146 virt/kvm/arm/mmio.c 	rt = kvm_vcpu_dabt_get_rd(vcpu);