Lines Matching defs:evtchn
79 ec_bind_evtchn_to_handler(int evtchn, pri_t pri, ec_handler_fcn_t handler,
84 if (evtchn < 0 || evtchn >= NR_EVENT_CHANNELS) {
85 cmn_err(CE_WARN, "Binding invalid event channel: %d", evtchn);
91 ASSERT(evtchn_to_handle[evtchn] == NULL);
92 evtchn_to_handle[evtchn] = hdl;
96 hypervisor_unmask_event(evtchn);
100 ec_unbind_evtchn(int evtchn)
105 if (evtchn < 0 || evtchn >= NR_EVENT_CHANNELS) {
106 cmn_err(CE_WARN, "Unbinding invalid event channel: %d", evtchn);
114 hypervisor_mask_event(evtchn);
118 hdl = evtchn_to_handle[evtchn];
119 evtchn_to_handle[evtchn] = NULL;
122 close.port = evtchn;
194 /* ensure evtchn is masked till we're ready to use it */
355 cmn_err(CE_WARN, "Could not allocate evtchn interrupt: %d",
363 cmn_err(CE_WARN, "Could not attach evtchn handler");
369 cmn_err(CE_WARN, "Could not enable evtchn interrupts\n");
377 cmn_err(CE_WARN, "Couldn't register evtchn callback");
392 cmn_err(CE_WARN, "Couldn't register evtchn callback");