Lines Matching refs:ASSERT
233 ASSERT(flp->flk_ocsync == 0); in fnode_destructor()
243 ASSERT(fnp->fn_mp == NULL); in fnode_destructor()
244 ASSERT(fnp->fn_count == 0); in fnode_destructor()
245 ASSERT(fnp->fn_lock == flp); in fnode_destructor()
246 ASSERT(fnp->fn_open == 0); in fnode_destructor()
247 ASSERT(fnp->fn_insync == 0); in fnode_destructor()
248 ASSERT(fnp->fn_rsynccnt == 0 && fnp->fn_wsynccnt == 0); in fnode_destructor()
249 ASSERT(fnp->fn_wwaitcnt == 0); in fnode_destructor()
250 ASSERT(fnp->fn_pcredp == NULL); in fnode_destructor()
251 ASSERT(vn_matchops(vp, fifo_vnodeops)); in fnode_destructor()
252 ASSERT(vp->v_stream == NULL); in fnode_destructor()
253 ASSERT(vp->v_type == VFIFO); in fnode_destructor()
254 ASSERT(vp->v_data == (caddr_t)fnp); in fnode_destructor()
255 ASSERT((vp->v_flag & (VNOMAP|VNOSWAP)) == (VNOMAP|VNOSWAP)); in fnode_destructor()
298 ASSERT(vp1->v_vfsp == fifovfsp); in pipe_destructor()
299 ASSERT(vp2->v_vfsp == fifovfsp); in pipe_destructor()
300 ASSERT(vp1->v_rdev == fifodev); in pipe_destructor()
301 ASSERT(vp2->v_rdev == fifodev); in pipe_destructor()
416 ASSERT(vp != NULL); in fifovp()
598 ASSERT(MUTEX_HELD(&fnp->fn_lock->flk_lock)); in fifo_stropen()
672 ASSERT(fnp->fn_open > 0); in fifo_stropen()
724 ASSERT(fnp->fn_open != 0 || oldvp->v_stream == NULL); in fifo_stropen()
775 ASSERT(MUTEX_HELD(&fnp->fn_lock->flk_lock)); in fifo_cleanup()
803 ASSERT(MUTEX_HELD(&ftable_lock)); in fifoinsert()
822 ASSERT(MUTEX_HELD(&ftable_lock)); in fifofind()
844 ASSERT(MUTEX_HELD(&ftable_lock)); in fiforemove()
881 ASSERT(MUTEX_HELD(&fnp->fn_lock->flk_lock)); in fifo_fastflush()
1047 ASSERT(MUTEX_HELD(&fnp->fn_lock->flk_lock)); in fifo_fastoff()
1048 ASSERT(FTOV(fnp)->v_stream); in fifo_fastoff()
1053 ASSERT(fnp->fn_flag & FIFOFAST); in fifo_fastoff()
1087 ASSERT(MUTEX_HELD(&fnp->fn_lock->flk_lock)); in fifo_fastturnoff()
1093 ASSERT(fnp->fn_flag & FIFOISOPEN); in fifo_fastturnoff()
1094 ASSERT(FTOV(fnp)->v_stream != NULL); in fifo_fastturnoff()
1095 ASSERT(FTOV(fnp)->v_stream->sd_wrq != NULL); in fifo_fastturnoff()
1096 ASSERT(RD(FTOV(fnp)->v_stream->sd_wrq) != NULL); in fifo_fastturnoff()
1097 ASSERT(strvp2wq(FTOV(fnp)) != NULL); in fifo_fastturnoff()
1163 ASSERT(MUTEX_HELD(&fn_lock->flk_lock)); in fifo_wakewriter()
1164 ASSERT(fn_dest->fn_dest->fn_count < Fifohiwat); in fifo_wakewriter()
1194 ASSERT(MUTEX_HELD(&fn_lock->flk_lock)); in fifo_wakereader()