xpc_do_exit      1072 drivers/misc/sgi-xp/xpc_main.c 	xpc_do_exit(reason);
xpc_do_exit      1292 drivers/misc/sgi-xp/xpc_main.c 		xpc_do_exit(xpUnloading);
xpc_do_exit      1325 drivers/misc/sgi-xp/xpc_main.c 	xpc_do_exit(xpUnloading);