#include <syscall.h>

#define __KERNEL__ 
#undef asmlinkage
#define asmlinkage
#include <sys/msg.h>

int
msgctl (int msqid, int cmd, struct msqid_ds *buf)
{
    return __ipc (MSGCTL, msqid, cmd, 0, buf);
}