Home
last modified time | relevance | path

Searched refs:evtchn_irq (Results 1 – 5 of 5) sorted by relevance

/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Devent.h20 current->domain->arch.evtchn_irq); in local_events_need_delivery_nomask()
23 ASSERT(!is_lpi(current->domain->arch.evtchn_irq)); in local_events_need_delivery_nomask()
A Ddomain.h137 unsigned int evtchn_irq; member
/xen-4.10.0-shim-comet/xen/arch/arm/
A Ddomain.c660 d->arch.evtchn_irq = GUEST_EVTCHN_PPI; in arch_domain_create()
954 vgic_vcpu_inject_irq(v, v->domain->arch.evtchn_irq); in vcpu_mark_events_pending()
A Ddomain_build.c2042 d->arch.evtchn_irq = res; in evtchn_fixup()
2045 d->arch.evtchn_irq); in evtchn_fixup()
2053 val |= d->arch.evtchn_irq; in evtchn_fixup()
2074 set_interrupt_ppi(intr, d->arch.evtchn_irq, 0xf, in evtchn_fixup()
A Dvgic.c584 vgic_vcpu_inject_irq(v, v->domain->arch.evtchn_irq); in arch_evtchn_inject()

Completed in 11 milliseconds