Symbol: evtchn_write
sys/dev/xen/evtchn/evtchn_dev.c
110
.d_write = evtchn_write,
sys/dev/xen/evtchn/evtchn_dev.c
99
static d_write_t evtchn_write;