xen/x86/xen_ipi.c

57 #include <xen/evtchn.h>
125 	evtchn_port_t evtchn;
134 	evtchn = bind_vcpu_to_evtch(vcpu);
135 	ci->ci_ipi_evtchn = evtchn;
137 	KASSERT(evtchn != -1 && evtchn < NR_EVENT_CHANNELS);
142 	if (event_set_handler(evtchn,
149 	hypervisor_unmask_event(evtchn);
170 	evtchn_port_t evtchn;
178 	evtchn = ci->ci_ipi_evtchn;
184 	hypervisor_notify_via_evtchn(evtchn);