kvm_vgic_v4_disable_doorbell  400 include/kvm/arm_vgic.h void kvm_vgic_v4_disable_doorbell(struct kvm_vcpu *vcpu);
kvm_vgic_v4_disable_doorbell  338 virt/kvm/arm/arm.c 	kvm_vgic_v4_disable_doorbell(vcpu);