xpc_disconnect_wait  620 drivers/misc/sgi-xp/xpc.h extern void xpc_disconnect_wait(int);
xpc_disconnect_wait  740 drivers/misc/sgi-xp/xpc_channel.c 	xpc_disconnect_wait(ch_number);