Symbol: evtchn_cmp
sys/dev/xen/evtchn/evtchn_dev.c
68
static int evtchn_cmp(struct user_evtchn *u1, struct user_evtchn *u2);
sys/dev/xen/evtchn/evtchn_dev.c
94
RB_GENERATE_STATIC(evtchn_tree, user_evtchn, node, evtchn_cmp);