wait_to_print    1090 drivers/misc/sgi-xp/xpc_main.c 	long wait_to_print;
wait_to_print    1120 drivers/misc/sgi-xp/xpc_main.c 	wait_to_print = XPC_DEACTIVATE_PRINTMSG_INTERVAL * 1000 * 5;
wait_to_print    1141 drivers/misc/sgi-xp/xpc_main.c 		if (!wait_to_print--) {
wait_to_print    1145 drivers/misc/sgi-xp/xpc_main.c 			wait_to_print = XPC_DEACTIVATE_PRINTMSG_INTERVAL *