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