SEMA_HELD
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&cb->b_sem));
ASSERT(SEMA_HELD(&ufsvfsp->vfs_bufp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&nbp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem)); \
ASSERT(SEMA_HELD(&bp->b_sem));
ASSERT(SEMA_HELD(&bp->b_sem));