netbsd32___msgctl50
_PKG_ENTRY(netbsd32___msgctl50),
check_syscall_args(netbsd32___msgctl50)
int netbsd32___msgctl50(struct lwp *, const struct netbsd32___msgctl50_args *, register_t *);