Searched refs:evtchn_irq (Results 1 – 5 of 5) sorted by relevance
| /xen/xen/include/asm-arm/ |
| A D | domain.h | 75 unsigned int evtchn_irq; member
|
| /xen/xen/arch/arm/ |
| A D | domain.c | 749 d->arch.evtchn_irq = GUEST_EVTCHN_PPI; in arch_domain_create()
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 | domain_build.c | 768 BUG_ON(d->arch.evtchn_irq == 0); in make_hypervisor_node()
776 set_interrupt(intr, d->arch.evtchn_irq, 0xf, DT_IRQ_TYPE_LEVEL_LOW); in make_hypervisor_node()
2294 d->arch.evtchn_irq = res; in evtchn_allocate()
2297 d->arch.evtchn_irq); in evtchn_allocate()
2305 val |= d->arch.evtchn_irq; in evtchn_allocate()
|
| A D | vgic.c | 604 p = irq_to_pending(v, v->domain->arch.evtchn_irq); in vgic_evtchn_irq_pending()
606 ASSERT(!is_lpi(v->domain->arch.evtchn_irq)); in vgic_evtchn_irq_pending()
|
| /xen/xen/arch/arm/vgic/ |
| A D | vgic.c | 702 ASSERT(!is_lpi(v->domain->arch.evtchn_irq)); in vgic_evtchn_irq_pending()
704 irq = vgic_get_irq(v->domain, v, v->domain->arch.evtchn_irq); in vgic_evtchn_irq_pending()
|
Completed in 12 milliseconds