Searched refs:kvm_vgic_reset_mapped_irq (Results 1 – 5 of 5) sorted by relevance
393 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
738 kvm_vgic_reset_mapped_irq(vcpu, map.direct_vtimer->irq.irq); in kvm_timer_vcpu_reset()740 kvm_vgic_reset_mapped_irq(vcpu, map.direct_ptimer->irq.irq); in kvm_timer_vcpu_reset()
540 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) in kvm_vgic_reset_mapped_irq() function
1400 ffff80001005cb70 T kvm_vgic_reset_mapped_irq
Completed in 304 milliseconds