ctxnum0           775 drivers/misc/sgi-gru/grumain.c 	int ctxnum, ctxnum0, flag = 0, cbr, dsr;
ctxnum0           793 drivers/misc/sgi-gru/grumain.c 	ctxnum0 = ctxnum;
ctxnum0           801 drivers/misc/sgi-gru/grumain.c 				if (flag && gru == gru0 && ctxnum == ctxnum0)
ctxnum0           815 drivers/misc/sgi-gru/grumain.c 			if (ngts || (flag && gru == gru0 && ctxnum == ctxnum0))