force_IRQ         258 drivers/misc/sgi-xp/xpc_main.c 	int force_IRQ = 0;
force_IRQ         285 drivers/misc/sgi-xp/xpc_main.c 		if (xpc_activate_IRQ_rcvd > 0 || force_IRQ != 0) {
force_IRQ         286 drivers/misc/sgi-xp/xpc_main.c 			force_IRQ = 0;