#include <mqueue.h>
#include "syscall.h"

int mq_timedsend(mqd_t mqd,
                 const char* msg,
                 size_t len,
                 unsigned prio,
                 const struct timespec* at) {
  return syscall_cp(SYS_mq_timedsend, mqd, msg, len, prio, at);
}