netbsd32___mq_timedreceive50
_PKG_ENTRY(netbsd32___mq_timedreceive50),
check_syscall_args(netbsd32___mq_timedreceive50)
int netbsd32___mq_timedreceive50(struct lwp *, const struct netbsd32___mq_timedreceive50_args *, register_t *);