ignore_disconnecting  773 drivers/misc/sgi-xp/xpc_main.c 		    int ignore_disconnecting)
ignore_disconnecting  789 drivers/misc/sgi-xp/xpc_main.c 		if (ignore_disconnecting) {