nfs_rw_lock_held
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_READER));
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_READER));
if (nfs_rw_lock_held(&rp->r_rwlock, RW_READER)) {
ASSERT(nfs_rw_lock_held(&rp->r_deleg_recall_lock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_lkserlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_lkserlock, RW_WRITER));
return (nfs_rw_lock_held(&sp->s_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_deleg_recall_lock, RW_READER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&sp->s_recovlock, RW_READER) ||
nfs_rw_lock_held(&sp->s_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_READER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&mi->mi_recovlock, RW_READER) ||
nfs_rw_lock_held(&mi->mi_recovlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_READER));
if (nfs_rw_lock_held(&rp->r_rwlock, RW_READER)) {
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_READER));
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_lkserlock, RW_WRITER));
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_READER));
ASSERT(nfs_rw_lock_held(&rp->r_rwlock, RW_READER));
if (nfs_rw_lock_held(&rp->r_rwlock, RW_READER)) {
extern int nfs_rw_lock_held(nfs_rwlock_t *, krw_t);