Lines Matching defs:evtchn
39 unsigned int evtchn;
82 /* Use evtchn: this is called early, before irq is set up. */
83 notify_remote_via_evtchn(cons->evtchn);
248 * default value is 0. Even though gfn = 0 and evtchn = 0 are
255 info->evtchn = v;
278 info->evtchn = xen_start_info->console.domU.evtchn;
296 if (!xen_start_info->console.domU.evtchn)
348 info->evtchn = v;
350 info->evtchn = xen_start_info->console.domU.evtchn;
359 rebind_evtchn_irq(info->evtchn, info->irq);
370 evtchn_put(info->evtchn);
372 info->evtchn = 0;
375 if (info->evtchn > 0)
376 xenbus_free_evtchn(info->xbdev, info->evtchn);
377 info->evtchn = 0;
417 int ret, evtchn, devid, ref, irq;
421 ret = xenbus_alloc_evtchn(dev, &evtchn);
424 info->evtchn = evtchn;
425 irq = bind_interdomain_evtchn_to_irq_lateeoi(dev->otherend_id, evtchn);
454 evtchn);
548 * Don't tear down the evtchn and grant ref before the other
603 info->irq = bind_evtchn_to_irq_lateeoi(info->evtchn);
619 evtchn_put(info->evtchn);