xpc_free_msg_slot_uv 1406 drivers/misc/sgi-xp/xpc_uv.c 	xpc_free_msg_slot_uv(ch, msg_slot);
xpc_free_msg_slot_uv 1611 drivers/misc/sgi-xp/xpc_uv.c 	xpc_free_msg_slot_uv(ch, msg_slot);