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) {