mutex_ownerpid
ultos((uint64_t)mcopy.mutex_ownerpid, 10, buf + strlen(buf));
if (mp->mutex_ownerpid == udp->pid) {
if (mp->mutex_ownerpid == udp->pid) {
mp->mutex_ownerpid = udp->pid;
mp->mutex_ownerpid = udp->pid;
mp->mutex_ownerpid = udp->pid;
mp->mutex_ownerpid = 0;
mp->mutex_ownerpid = udp->pid;
return (MUTEX_OWNED(mp, self) && mp->mutex_ownerpid == udp->pid);
mp->mutex_ownerpid = self->ul_uberdata->pid;
mp->mutex_ownerpid = self->ul_uberdata->pid;
mp->mutex_ownerpid = 0;
generic_so.lock.mutex_ownerpid;
suword32_noerr(&lp->mutex_ownerpid, pid);
fuword32_noerr(&lp->mutex_ownerpid, (uint32_t *)&owner_pid);