Searched refs:vgic_remove_irq_from_queues (Results 1 – 3 of 3) sorted by relevance
282 extern void vgic_remove_irq_from_queues(struct vcpu *v, struct pending_irq *p);
292 vgic_remove_irq_from_queues(old, p); in vgic_migrate_irq()519 void vgic_remove_irq_from_queues(struct vcpu *v, struct pending_irq *p) in vgic_remove_irq_from_queues() function
385 vgic_remove_irq_from_queues(vcpu, p); in its_handle_clear()623 vgic_remove_irq_from_queues(vcpu, p); in its_discard_event()
Completed in 8 milliseconds