Searched refs:evtchn_bind_ipi (Results 1 – 2 of 2) sorted by relevance
173 struct evtchn_bind_ipi { struct178 typedef struct evtchn_bind_ipi evtchn_bind_ipi_t; argument
519 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id }; in xen_rebind_ipi()925 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id }; in xen_intr_alloc_and_bind_ipi()