evtchn_unbind_from_user  561 drivers/xen/evtchn.c 		evtchn_unbind_from_user(u, evtchn);
evtchn_unbind_from_user  680 drivers/xen/evtchn.c 		evtchn_unbind_from_user(u, evtchn);