Symbol: evtchn_release
sys/dev/xen/evtchn/evtchn_dev.c
104
static void evtchn_release(void *arg);
sys/dev/xen/evtchn/evtchn_dev.c
199
error = devfs_set_cdevpriv(u, evtchn_release);