Searched refs:vgic_init_pending_irq (Results 1 – 3 of 3) sorted by relevance
65 void vgic_init_pending_irq(struct pending_irq *p, unsigned int virq) in vgic_init_pending_irq() function153 vgic_init_pending_irq(&d->arch.vgic.pending_irqs[i], i + 32); in domain_vgic_init()220 vgic_init_pending_irq(&v->arch.vgic.pending_irqs[i], i); in vcpu_vgic_init()
624 vgic_init_pending_irq(p, INVALID_LPI); in its_discard_event()763 vgic_init_pending_irq(pirq, intid); in its_handle_mapti()
284 extern void vgic_init_pending_irq(struct pending_irq *p, unsigned int virq);
Completed in 8 milliseconds