/* kern/sys_mqueue.c */