Searched refs:kvm_vgic_reset_mapped_irq (Results 1 – 3 of 3) sorted by relevance
402 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
972 kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer)); in kvm_timer_vcpu_reset()974 kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer)); in kvm_timer_vcpu_reset()
525 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) in kvm_vgic_reset_mapped_irq() function