RECV 880 ipc/mqueue.c receiver = wq_get_first_waiter(info, RECV); RECV 950 ipc/mqueue.c ret = wq_sleep(info, RECV, timeout, &wait);