Symbol: xs_evtchn
sys/dev/xen/xenstore/xenstored_dev.c
66
len = snprintf(evtchn, sizeof(evtchn), "%u", xs_evtchn());
sys/xen/xenstore/xenstorevar.h
103
evtchn_port_t xs_evtchn(void);