xpc_die_disconnecting 1077 drivers/misc/sgi-xp/xpc_main.c static unsigned int xpc_die_disconnecting; xpc_die_disconnecting 1092 drivers/misc/sgi-xp/xpc_main.c if (cmpxchg(&xpc_die_disconnecting, 0, 1))