Searched refs:vgic_inject_irq (Results 1 – 9 of 9) sorted by relevance
| /xen/xen/arch/arm/ |
| A D | vtimer.c | 49 vgic_inject_irq(t->v->domain, t->v, t->irq, true); in phys_timer_expired()
59 vgic_inject_irq(t->v->domain, t->v, t->irq, true); in virt_timer_expired()
366 vgic_inject_irq(v->domain, v, vtimer->irq, level); in vtimer_update_irq()
|
| A D | vgic.c | 295 vgic_inject_irq(new->domain, new, irq, true); in vgic_migrate_irq()
454 vgic_inject_irq(d, d->vcpu[vcpuid], virq, true); in vgic_to_sgi()
463 vgic_inject_irq(d, d->vcpu[i], virq, true); in vgic_to_sgi()
468 vgic_inject_irq(d, current, virq, true); in vgic_to_sgi()
528 void vgic_inject_irq(struct domain *d, struct vcpu *v, unsigned int virq, in vgic_inject_irq() function
|
| A D | vpl011.c | 74 vgic_inject_irq(d, NULL, GUEST_VPL011_SPI, true); in vpl011_update_interrupt_status()
78 vgic_inject_irq(d, NULL, GUEST_VPL011_SPI, uartmis); in vpl011_update_interrupt_status()
|
| A D | time.c | 265 vgic_inject_irq(current->domain, current, current->arch.virt_timer.irq, true); in vtimer_interrupt()
|
| A D | gic-v3-lpi.c | 158 vgic_inject_irq(d, d->vcpu[vcpu_id], virq, true); in vgic_vcpu_inject_lpi()
|
| A D | domain.c | 1079 vgic_inject_irq(v->domain, v, v->domain->arch.evtchn_irq, true); in vcpu_mark_events_pending()
1086 vgic_inject_irq(v->domain, v, v->domain->arch.evtchn_irq, pending); in vcpu_update_evtchn_irq()
|
| A D | irq.c | 242 vgic_inject_irq(info->d, NULL, info->virq, true); in do_IRQ()
|
| /xen/xen/include/asm-arm/ |
| A D | vgic.h | 344 void vgic_inject_irq(struct domain *d, struct vcpu *v, unsigned int virq,
|
| /xen/xen/arch/arm/vgic/ |
| A D | vgic.c | 381 void vgic_inject_irq(struct domain *d, struct vcpu *vcpu, unsigned int intid, in vgic_inject_irq() function
|
Completed in 17 milliseconds