Symbol: xpc_do_exit
drivers/misc/sgi-xp/xpc_main.c
1061
xpc_do_exit(reason);
drivers/misc/sgi-xp/xpc_main.c
1251
xpc_do_exit(xpUnloading);
drivers/misc/sgi-xp/xpc_main.c
1286
xpc_do_exit(xpUnloading);