Symbol: xpc_die_deactivate
drivers/misc/sgi-xp/xpc_main.c
1158
xpc_die_deactivate();
drivers/misc/sgi-xp/xpc_main.c
1163
xpc_die_deactivate();
drivers/misc/sgi-xp/xpc_main.c
1172
xpc_die_deactivate();