Symbol: xen_evtchn_close
drivers/xen/events/events_base.c
898
xen_evtchn_close(evtchn);
drivers/xen/events/events_base.c
921
xen_evtchn_close(evtchn);
drivers/xen/events/events_base.c
995
xen_evtchn_close(evtchn);
drivers/xen/evtchn.c
416
xen_evtchn_close(port);