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);