drivers/tty/hvc/hvc_xen.c

404

evtchn_put(info->evtchn);

drivers/tty/hvc/hvc_xen.c

655

evtchn_put(info->evtchn);

drivers/xen/events/events_base.c

1631

EXPORT_SYMBOL_GPL(evtchn_put);

drivers/xen/gntalloc.c

185

evtchn_put(gref->notify.event);

drivers/xen/gntalloc.c

423

evtchn_put(gref->notify.event);

drivers/xen/gntdev.c

297

evtchn_put(map->notify.event);

drivers/xen/gntdev.c

802

evtchn_put(out_event);

include/xen/events.h

74

void evtchn_put(evtchn_port_t evtchn);