kvm_vgic_v4_enable_doorbell  399 include/kvm/arm_vgic.h void kvm_vgic_v4_enable_doorbell(struct kvm_vcpu *vcpu);
kvm_vgic_v4_enable_doorbell  333 virt/kvm/arm/arm.c 	kvm_vgic_v4_enable_doorbell(vcpu);