Searched refs:kvm_vgic_v4_enable_doorbell (Results 1 – 3 of 3) sorted by relevance
407 void kvm_vgic_v4_enable_doorbell(struct kvm_vcpu *vcpu);
350 void kvm_vgic_v4_enable_doorbell(struct kvm_vcpu *vcpu) in kvm_vgic_v4_enable_doorbell() function
338 kvm_vgic_v4_enable_doorbell(vcpu); in kvm_arch_vcpu_blocking()