sys_msgrcv
(sy_call_t *)sys_msgsnd, (sy_call_t *)sys_msgrcv
int sys_msgrcv(struct thread *, struct msgrcv_args *);