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