xpc_exit_uv       624 drivers/misc/sgi-xp/xpc.h extern void xpc_exit_uv(void);
xpc_exit_uv      1047 drivers/misc/sgi-xp/xpc_main.c 		xpc_exit_uv();
xpc_exit_uv      1316 drivers/misc/sgi-xp/xpc_main.c 		xpc_exit_uv();