netbsd32_msgsnd
return netbsd32_msgsnd(l, &bma, retval);
_PKG_ENTRY(netbsd32_msgsnd),
check_syscall_args(netbsd32_msgsnd)
int netbsd32_msgsnd(struct lwp *, const struct netbsd32_msgsnd_args *, register_t *);