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