evtchns            63 drivers/xen/evtchn.c 	struct rb_root evtchns;
evtchns           109 drivers/xen/evtchn.c 	struct rb_node **new = &(u->evtchns.rb_node), *parent = NULL;
evtchns           129 drivers/xen/evtchn.c 	rb_insert_color(&evtchn->node, &u->evtchns);
evtchns           137 drivers/xen/evtchn.c 	rb_erase(&evtchn->node, &u->evtchns);
evtchns           143 drivers/xen/evtchn.c 	struct rb_node *node = u->evtchns.rb_node;
evtchns           675 drivers/xen/evtchn.c 	while ((node = u->evtchns.rb_node)) {