Searched refs:kvm_vgic_reset_mapped_irq (Results 1 – 2 of 2) sorted by relevance
401 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
536 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) in kvm_vgic_reset_mapped_irq() function