del_evtchn        408 drivers/xen/evtchn.c 	del_evtchn(u, evtchn);
del_evtchn        421 drivers/xen/evtchn.c 	del_evtchn(u, evtchn);