Symbol: del_evtchn
drivers/xen/evtchn.c
418
del_evtchn(u, evtchn);
drivers/xen/evtchn.c
432
del_evtchn(u, evtchn);