Lines Matching refs:evtchn
112 evtchn_port_t evtchn;
120 evtchn = bind_vcpu_to_evtch(vcpu);
121 ci->ci_ipi_evtchn = evtchn;
123 KASSERT(evtchn != -1 && evtchn < NR_EVENT_CHANNELS);
125 if (0 != event_set_handler(evtchn, (int (*)(void *))xen_ipi_handler,
131 hypervisor_enable_event(evtchn);
158 evtchn_port_t evtchn;
166 evtchn = ci->ci_ipi_evtchn;
172 hypervisor_notify_via_evtchn(evtchn);