Searched refs:vgic_vcpu_inject_spi (Results 1 – 4 of 4) sorted by relevance
206 extern void vgic_vcpu_inject_spi(struct domain *d, unsigned int virq);
71 vgic_vcpu_inject_spi(d, GUEST_VPL011_SPI); in vpl011_update_interrupt_status()
226 vgic_vcpu_inject_spi(info->d, info->virq); in do_IRQ()
571 void vgic_vcpu_inject_spi(struct domain *d, unsigned int virq) in vgic_vcpu_inject_spi() function
Completed in 8 milliseconds