kvm_vcpu_dabt_get_rd - Linux

Symbol: kvm_vcpu_dabt_get_rd

arch/arm64/kvm/hyp/vgic-v2-cpuif-proxy.c

rd = kvm_vcpu_dabt_get_rd(vcpu);

arch/arm64/kvm/mmio.c

vcpu_set_reg(vcpu, kvm_vcpu_dabt_get_rd(vcpu), data);

arch/arm64/kvm/mmio.c

rt = kvm_vcpu_dabt_get_rd(vcpu);