Symbol: XBP_EVENT_CHAN
usr/src/uts/common/xen/io/xdb.c
756
XBP_EVENT_CHAN, "%u", &evtchn,
usr/src/uts/common/xen/io/xdf.c
1606
XBP_EVENT_CHAN, "%u", vdp->xdf_evtchn)) != 0) ||