Searched refs:vgic_init_pending_irq (Results 1 – 3 of 3) sorted by relevance
64 void vgic_init_pending_irq(struct pending_irq *p, unsigned int virq) in vgic_init_pending_irq() function145 vgic_init_pending_irq(&d->arch.vgic.pending_irqs[i], i + 32); in domain_vgic_init()212 vgic_init_pending_irq(&v->arch.vgic.pending_irqs[i], i); in vcpu_vgic_init()
623 vgic_init_pending_irq(p, INVALID_LPI); in its_discard_event()762 vgic_init_pending_irq(pirq, intid); in its_handle_mapti()
208 extern void vgic_init_pending_irq(struct pending_irq *p, unsigned int virq);
Completed in 7 milliseconds