Searched refs:virtual_irq (Results 1 – 2 of 2) sorted by relevance
423 void gic_raise_inflight_irq(struct vcpu *v, unsigned int virtual_irq) in gic_raise_inflight_irq() argument425 struct pending_irq *n = irq_to_pending(v, virtual_irq); in gic_raise_inflight_irq()445 virtual_irq, v->domain->domain_id, v->vcpu_id); in gic_raise_inflight_irq()483 void gic_raise_guest_irq(struct vcpu *v, unsigned int virtual_irq, in gic_raise_guest_irq() argument488 struct pending_irq *p = irq_to_pending(v, virtual_irq); in gic_raise_guest_irq()
245 extern void gic_raise_inflight_irq(struct vcpu *v, unsigned int virtual_irq);
Completed in 5 milliseconds