Searched refs:gic_raise_guest_irq (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/arch/arm/ |
| A D | gic-vgic.c | 136 void gic_raise_guest_irq(struct vcpu *v, unsigned int virtual_irq, in gic_raise_guest_irq() function
232 gic_raise_guest_irq(v, irq, p->priority); in gic_update_one_lr()
|
| A D | vgic.c | 406 gic_raise_guest_irq(v_target, irq, p->priority); in vgic_enable_irqs()
580 gic_raise_guest_irq(v, virq, priority); in vgic_inject_irq()
|
| A D | vgic-v3-its.c | 450 gic_raise_guest_irq(v, p->irq, p->lpi_priority); in update_lpi_vgic_status()
|
| /xen/xen/include/asm-arm/ |
| A D | gic.h | 255 extern void gic_raise_guest_irq(struct vcpu *v, unsigned int irq,
|
Completed in 11 milliseconds