Lines Matching refs:evtchn
43 #include <xen/evtchn.h>
219 int evtchn;
221 evtchn = xen_start_info.store_evtchn;
223 event_set_handler(evtchn, wake_waiting, NULL, IPL_TTY, "xenbus");
224 hypervisor_enable_event(evtchn);
225 aprint_verbose_dev(dev, "using event channel %d\n", evtchn);
233 int evtchn;
235 evtchn = xen_start_info.store_evtchn;
237 hypervisor_mask_event(evtchn);
238 event_remove_handler(evtchn, wake_waiting, NULL);
239 aprint_verbose_dev(dev, "removed event channel %d\n", evtchn);