Symbol: evtchn_unbind_from_user
drivers/xen/evtchn.c
540
evtchn_unbind_from_user(u, evtchn);
drivers/xen/evtchn.c
678
evtchn_unbind_from_user(u, evtchn);