Symbol: evtchn_ioctl
sys/dev/xen/evtchn/evtchn_dev.c
100
static d_ioctl_t evtchn_ioctl;
sys/dev/xen/evtchn/evtchn_dev.c
111
.d_ioctl = evtchn_ioctl,