do_hypercall       90 drivers/xen/events/events_2l.c 	int do_hypercall = 0, evtchn_pending = 0;
do_hypercall       95 drivers/xen/events/events_2l.c 		do_hypercall = 1;
do_hypercall      110 drivers/xen/events/events_2l.c 			do_hypercall = 1;
do_hypercall      117 drivers/xen/events/events_2l.c 	if (do_hypercall) {