compat_50_netbsd32___msgctl13
_PKG_ENTRY(compat_50_netbsd32___msgctl13),
check_syscall_args(compat_50_netbsd32___msgctl13)
int compat_50_netbsd32___msgctl13(struct lwp *, const struct compat_50_netbsd32___msgctl13_args *, register_t *);