Symbol: xenevt_record
sys/arch/xen/xen/xenevt.c
146
static void xenevt_record(struct xenevt_d *, evtchn_port_t);
sys/arch/xen/xen/xenevt.c
252
xenevt_record(d, port);