KASSERT 43 common/libc/printf/__printf.c #define assert KASSERT KASSERT 78 kern/arch/mips/locore/trap.c KASSERT(code < NTRAPCODES); KASSERT 85 kern/arch/mips/locore/trap.c KASSERT(0); KASSERT 133 kern/arch/mips/locore/trap.c KASSERT(sizeof(struct trapframe)==(37*4)); KASSERT 142 kern/arch/mips/locore/trap.c KASSERT(code < NTRAPCODES); KASSERT 146 kern/arch/mips/locore/trap.c KASSERT((vaddr_t)tf > (vaddr_t)curthread->t_stack); KASSERT 147 kern/arch/mips/locore/trap.c KASSERT((vaddr_t)tf < (vaddr_t)(curthread->t_stack KASSERT 177 kern/arch/mips/locore/trap.c KASSERT(curthread->t_curspl == 0); KASSERT 178 kern/arch/mips/locore/trap.c KASSERT(curthread->t_iplhigh_count == 0); KASSERT 190 kern/arch/mips/locore/trap.c KASSERT(curthread->t_curspl == IPL_HIGH); KASSERT 191 kern/arch/mips/locore/trap.c KASSERT(curthread->t_iplhigh_count == 1); KASSERT 217 kern/arch/mips/locore/trap.c KASSERT(curthread->t_curspl == 0); KASSERT 218 kern/arch/mips/locore/trap.c KASSERT(curthread->t_iplhigh_count == 0); KASSERT 346 kern/arch/mips/locore/trap.c KASSERT(SAME_STACK(cpustacks[curcpu->c_number]-1, (vaddr_t)tf)); KASSERT 397 kern/arch/mips/locore/trap.c KASSERT(SAME_STACK(cpustacks[curcpu->c_number]-1, (vaddr_t)tf)); KASSERT 85 kern/arch/mips/syscall/syscall.c KASSERT(curthread != NULL); KASSERT 86 kern/arch/mips/syscall/syscall.c KASSERT(curthread->t_curspl == 0); KASSERT 87 kern/arch/mips/syscall/syscall.c KASSERT(curthread->t_iplhigh_count == 0); KASSERT 166 kern/arch/mips/syscall/syscall.c KASSERT(curthread->t_curspl == 0); KASSERT 168 kern/arch/mips/syscall/syscall.c KASSERT(curthread->t_iplhigh_count == 0); KASSERT 72 kern/arch/mips/thread/cpu.c KASSERT(c->c_number < MAXCPUS); KASSERT 48 kern/arch/mips/thread/thread_machdep.c KASSERT(tm->tm_badfaultfunc == NULL); KASSERT 153 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_vbase1 != 0); KASSERT 154 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_pbase1 != 0); KASSERT 155 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_npages1 != 0); KASSERT 156 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_vbase2 != 0); KASSERT 157 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_pbase2 != 0); KASSERT 158 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_npages2 != 0); KASSERT 159 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_stackpbase != 0); KASSERT 160 kern/arch/mips/vm/dumbvm.c KASSERT((as->as_vbase1 & PAGE_FRAME) == as->as_vbase1); KASSERT 161 kern/arch/mips/vm/dumbvm.c KASSERT((as->as_pbase1 & PAGE_FRAME) == as->as_pbase1); KASSERT 162 kern/arch/mips/vm/dumbvm.c KASSERT((as->as_vbase2 & PAGE_FRAME) == as->as_vbase2); KASSERT 163 kern/arch/mips/vm/dumbvm.c KASSERT((as->as_pbase2 & PAGE_FRAME) == as->as_pbase2); KASSERT 164 kern/arch/mips/vm/dumbvm.c KASSERT((as->as_stackpbase & PAGE_FRAME) == as->as_stackpbase); KASSERT 187 kern/arch/mips/vm/dumbvm.c KASSERT((paddr & PAGE_FRAME) == paddr); KASSERT 314 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_pbase1 == 0); KASSERT 315 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_pbase2 == 0); KASSERT 316 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_stackpbase == 0); KASSERT 350 kern/arch/mips/vm/dumbvm.c KASSERT(as->as_stackpbase != 0); KASSERT 377 kern/arch/mips/vm/dumbvm.c KASSERT(new->as_pbase1 != 0); KASSERT 378 kern/arch/mips/vm/dumbvm.c KASSERT(new->as_pbase2 != 0); KASSERT 379 kern/arch/mips/vm/dumbvm.c KASSERT(new->as_stackpbase != 0); KASSERT 87 kern/arch/sys161/dev/lamebus_machdep.c KASSERT(curthread->t_curspl > 0); KASSERT 140 kern/arch/sys161/dev/lamebus_machdep.c KASSERT(slot >= 0 && slot < LB_NSLOTS); KASSERT 260 kern/arch/sys161/dev/lamebus_machdep.c KASSERT(curthread->t_curspl > 0); KASSERT 57 kern/dev/generic/beep.c KASSERT(the_beep==NULL); KASSERT 97 kern/dev/generic/console.c KASSERT(delayed_outbuf_pos < sizeof(delayed_outbuf)); KASSERT 272 kern/dev/generic/console.c KASSERT(cs != NULL); KASSERT 273 kern/dev/generic/console.c KASSERT(!curthread->t_in_interrupt && curthread->t_iplhigh_count == 0); KASSERT 318 kern/dev/generic/console.c KASSERT(lk != NULL); KASSERT 412 kern/dev/generic/console.c KASSERT(the_console!=NULL); KASSERT 415 kern/dev/generic/console.c KASSERT(the_console==NULL); KASSERT 125 kern/dev/generic/random.c KASSERT(the_random==NULL); KASSERT 60 kern/dev/generic/rtclock.c KASSERT(the_clock==NULL); KASSERT 68 kern/dev/generic/rtclock.c KASSERT(the_clock!=NULL); KASSERT 272 kern/dev/lamebus/emu.c KASSERT(uio->uio_rw == UIO_READ); KASSERT 326 kern/dev/lamebus/emu.c KASSERT(uio->uio_rw == UIO_WRITE); KASSERT 534 kern/dev/lamebus/emu.c KASSERT(uio->uio_rw==UIO_READ); KASSERT 568 kern/dev/lamebus/emu.c KASSERT(uio->uio_rw==UIO_READ); KASSERT 590 kern/dev/lamebus/emu.c KASSERT(uio->uio_rw==UIO_WRITE); KASSERT 1252 kern/dev/lamebus/emu.c KASSERT(fs != NULL); KASSERT 1256 kern/dev/lamebus/emu.c KASSERT(ef != NULL); KASSERT 1257 kern/dev/lamebus/emu.c KASSERT(ef->ef_root != NULL); KASSERT 1314 kern/dev/lamebus/emu.c KASSERT(ef->ef_root!=NULL); KASSERT 287 kern/dev/lamebus/lamebus.c KASSERT(slot>=0 && slot < LB_NSLOTS); KASSERT 307 kern/dev/lamebus/lamebus.c KASSERT(slot>=0 && slot < LB_NSLOTS); KASSERT 330 kern/dev/lamebus/lamebus.c KASSERT(slot>=0 && slot < LB_NSLOTS); KASSERT 339 kern/dev/lamebus/lamebus.c KASSERT(sc->ls_devdata[slot]==NULL); KASSERT 340 kern/dev/lamebus/lamebus.c KASSERT(sc->ls_irqfuncs[slot]==NULL); KASSERT 356 kern/dev/lamebus/lamebus.c KASSERT(slot>=0 && slot < LB_NSLOTS); KASSERT 365 kern/dev/lamebus/lamebus.c KASSERT(sc->ls_irqfuncs[slot]!=NULL); KASSERT 380 kern/dev/lamebus/lamebus.c KASSERT(slot >= 0 && slot < LB_NSLOTS); KASSERT 393 kern/dev/lamebus/lamebus.c KASSERT(slot >= 0 && slot < LB_NSLOTS); KASSERT 431 kern/dev/lamebus/lamebus.c KASSERT(lamebus != NULL); KASSERT 120 kern/dev/lamebus/lser.c KASSERT(spinlock_do_i_hold(&sc->ls_lock)); KASSERT 221 kern/fs/sfs/sfs_fs.c KASSERT(sfs->sfs_superdirty == false); KASSERT 222 kern/fs/sfs/sfs_fs.c KASSERT(sfs->sfs_freemapdirty == false); KASSERT 268 kern/fs/sfs/sfs_fs.c KASSERT(sizeof(struct sfs_super)==SFS_BLOCKSIZE); KASSERT 269 kern/fs/sfs/sfs_fs.c KASSERT(sizeof(struct sfs_inode)==SFS_BLOCKSIZE); KASSERT 270 kern/fs/sfs/sfs_fs.c KASSERT(SFS_BLOCKSIZE % sizeof(struct sfs_dir) == 0); KASSERT 53 kern/fs/sfs/sfs_io.c KASSERT(vfs_biglock_do_i_hold()); KASSERT 164 kern/fs/sfs/sfs_vnode.c KASSERT(sizeof(idbuf)==SFS_BLOCKSIZE); KASSERT 328 kern/fs/sfs/sfs_vnode.c KASSERT(skipstart + len <= SFS_BLOCKSIZE); KASSERT 344 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_rw == UIO_READ); KASSERT 411 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_rw == UIO_READ); KASSERT 426 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_resid >= SFS_BLOCKSIZE); KASSERT 471 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_resid > extraresid); KASSERT 507 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_offset % SFS_BLOCKSIZE == 0); KASSERT 519 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_resid < SFS_BLOCKSIZE); KASSERT 596 kern/fs/sfs/sfs_vnode.c KASSERT(slot>=0); KASSERT 628 kern/fs/sfs/sfs_vnode.c KASSERT(sv->sv_i.sfi_type == SFS_TYPE_DIR); KASSERT 675 kern/fs/sfs/sfs_vnode.c KASSERT(found==0); KASSERT 906 kern/fs/sfs/sfs_vnode.c KASSERT(v->vn_refcount>1); KASSERT 972 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_rw==UIO_READ); KASSERT 991 kern/fs/sfs/sfs_vnode.c KASSERT(uio->uio_rw==UIO_WRITE); KASSERT 1150 kern/fs/sfs/sfs_vnode.c KASSERT(sizeof(idbuf)==SFS_BLOCKSIZE); KASSERT 1238 kern/fs/sfs/sfs_vnode.c KASSERT(sv->sv_ino == SFS_ROOT_LOCATION); KASSERT 1332 kern/fs/sfs/sfs_vnode.c KASSERT(file->vn_fs == dir->vn_fs); KASSERT 1376 kern/fs/sfs/sfs_vnode.c KASSERT(victim->sv_i.sfi_linkcount > 0); KASSERT 1406 kern/fs/sfs/sfs_vnode.c KASSERT(d1==d2); KASSERT 1407 kern/fs/sfs/sfs_vnode.c KASSERT(sv->sv_ino == SFS_ROOT_LOCATION); KASSERT 1417 kern/fs/sfs/sfs_vnode.c KASSERT(g1->sv_i.sfi_type == SFS_TYPE_FILE); KASSERT 1446 kern/fs/sfs/sfs_vnode.c KASSERT(g1->sv_i.sfi_linkcount>0); KASSERT 1678 kern/fs/sfs/sfs_vnode.c KASSERT(forcetype==SFS_TYPE_INVAL); KASSERT 1715 kern/fs/sfs/sfs_vnode.c KASSERT(sv->sv_i.sfi_type == SFS_TYPE_INVAL); KASSERT 40 kern/include/array.h #define ARRAYASSERT KASSERT KASSERT 81 kern/lib/bitmap.c KASSERT(nbits / BITS_PER_WORD == words-1); KASSERT 82 kern/lib/bitmap.c KASSERT(overbits > 0 && overbits < BITS_PER_WORD); KASSERT 113 kern/lib/bitmap.c KASSERT(*index < b->nbits); KASSERT 117 kern/lib/bitmap.c KASSERT(0); KASSERT 140 kern/lib/bitmap.c KASSERT(index < b->nbits); KASSERT 143 kern/lib/bitmap.c KASSERT((b->v[ix] & mask)==0); KASSERT 153 kern/lib/bitmap.c KASSERT(index < b->nbits); KASSERT 156 kern/lib/bitmap.c KASSERT((b->v[ix] & mask)!=0); KASSERT 65 kern/lib/kprintf.c KASSERT(kprintf_lock == NULL); KASSERT 35 kern/lib/queue.c KASSERT(nsize > 0); KASSERT 47 kern/lib/queue.c KASSERT(result==0); KASSERT 75 kern/lib/queue.c KASSERT(q->size > 0); KASSERT 95 kern/lib/queue.c KASSERT(q->size > 0); KASSERT 115 kern/lib/queue.c KASSERT(q->size > 0); KASSERT 117 kern/lib/queue.c KASSERT(!q_empty(q)); KASSERT 126 kern/lib/queue.c KASSERT(q_empty(q)); KASSERT 156 kern/lib/queue.c KASSERT(index>=0 && index<q->size); KASSERT 165 kern/lib/queue.c KASSERT(q); KASSERT 166 kern/lib/queue.c KASSERT(q->size > 0); KASSERT 52 kern/lib/uio.c KASSERT(uio->uio_space == NULL); KASSERT 55 kern/lib/uio.c KASSERT(uio->uio_space == curproc_getas()); KASSERT 131 kern/lib/uio.c KASSERT(uio->uio_rw == UIO_READ); KASSERT 124 kern/proc/proc.c KASSERT(proc != NULL); KASSERT 125 kern/proc/proc.c KASSERT(proc != kproc); KASSERT 178 kern/proc/proc.c KASSERT(proc_count > 0); KASSERT 286 kern/proc/proc.c KASSERT(t->t_proc == NULL); KASSERT 309 kern/proc/proc.c KASSERT(proc != NULL); KASSERT 117 kern/startup/main.c KASSERT(curthread->t_curspl > 0); KASSERT 119 kern/startup/main.c KASSERT(curthread->t_curspl == 0); KASSERT 94 kern/startup/menu.c KASSERT(nargs >= 1); KASSERT 101 kern/startup/menu.c KASSERT(strlen(args[0]) < sizeof(progname)); KASSERT 626 kern/startup/menu.c KASSERT(cmdtable[i].func!=NULL); KASSERT 144 kern/synchprobs/catmouse.c KASSERT(NumBowls > 0); KASSERT 264 kern/synchprobs/catmouse.c KASSERT(bowlnumber > 0); KASSERT 265 kern/synchprobs/catmouse.c KASSERT((int)bowlnumber <= NumBowls); KASSERT 281 kern/synchprobs/catmouse.c KASSERT(bowls[bowlnumber-1]=='-'); KASSERT 282 kern/synchprobs/catmouse.c KASSERT(eating_mice_count == 0); KASSERT 299 kern/synchprobs/catmouse.c KASSERT(eating_cats_count > 0); KASSERT 300 kern/synchprobs/catmouse.c KASSERT(bowls[bowlnumber-1]=='c'); KASSERT 351 kern/synchprobs/catmouse.c KASSERT(bowlnumber > 0); KASSERT 352 kern/synchprobs/catmouse.c KASSERT((int)bowlnumber <= NumBowls); KASSERT 368 kern/synchprobs/catmouse.c KASSERT(bowls[bowlnumber-1]=='-'); KASSERT 369 kern/synchprobs/catmouse.c KASSERT(eating_cats_count == 0); KASSERT 387 kern/synchprobs/catmouse.c KASSERT(eating_mice_count > 0); KASSERT 389 kern/synchprobs/catmouse.c KASSERT(bowls[bowlnumber-1]=='m'); KASSERT 59 kern/synchprobs/catmouse_synch.c KASSERT(globalCatMouseSem != NULL); KASSERT 81 kern/synchprobs/catmouse_synch.c KASSERT(globalCatMouseSem != NULL); KASSERT 103 kern/synchprobs/catmouse_synch.c KASSERT(globalCatMouseSem != NULL); KASSERT 124 kern/synchprobs/catmouse_synch.c KASSERT(globalCatMouseSem != NULL); KASSERT 146 kern/synchprobs/catmouse_synch.c KASSERT(globalCatMouseSem != NULL); KASSERT 36 kern/syscall/file_syscalls.c KASSERT(curproc != NULL); KASSERT 37 kern/syscall/file_syscalls.c KASSERT(curproc->console != NULL); KASSERT 38 kern/syscall/file_syscalls.c KASSERT(curproc->p_addrspace != NULL); KASSERT 58 kern/syscall/file_syscalls.c KASSERT(*retval >= 0); KASSERT 26 kern/syscall/proc_syscalls.c KASSERT(curproc->p_addrspace != NULL); KASSERT 69 kern/syscall/runprogram.c KASSERT(curproc_getas() == NULL); KASSERT 49 kern/test/arraytest.c KASSERT(n==0); KASSERT 53 kern/test/arraytest.c KASSERT(r==0); KASSERT 55 kern/test/arraytest.c KASSERT(n==i+1); KASSERT 58 kern/test/arraytest.c KASSERT(n==TESTSIZE); KASSERT 62 kern/test/arraytest.c KASSERT(*p == i); KASSERT 65 kern/test/arraytest.c KASSERT(n==TESTSIZE); KASSERT 70 kern/test/arraytest.c KASSERT(*p == i); KASSERT 73 kern/test/arraytest.c KASSERT(n==TESTSIZE); KASSERT 81 kern/test/arraytest.c KASSERT(*p == TESTSIZE-i-1); KASSERT 85 kern/test/arraytest.c KASSERT(r==0); KASSERT 89 kern/test/arraytest.c KASSERT(*p == TESTSIZE-i-1); KASSERT 96 kern/test/arraytest.c KASSERT(*p == TESTSIZE-i-2); KASSERT 99 kern/test/arraytest.c KASSERT(*p == TESTSIZE-1); KASSERT 103 kern/test/arraytest.c KASSERT(*p == TESTSIZE-1); KASSERT 105 kern/test/arraytest.c KASSERT(*p == TESTSIZE-3); KASSERT 110 kern/test/arraytest.c KASSERT(*p == TESTSIZE-1); KASSERT 112 kern/test/arraytest.c KASSERT(p==NULL); KASSERT 116 kern/test/arraytest.c KASSERT(*p == TESTSIZE-1); KASSERT 118 kern/test/arraytest.c KASSERT(p==NULL); KASSERT 131 kern/test/arraytest.c KASSERT(a != NULL); KASSERT 55 kern/test/bitmaptest.c KASSERT(b != NULL); KASSERT 58 kern/test/bitmaptest.c KASSERT(bitmap_isset(b, i)==0); KASSERT 68 kern/test/bitmaptest.c KASSERT(bitmap_isset(b, i)); KASSERT 71 kern/test/bitmaptest.c KASSERT(bitmap_isset(b, i)==0); KASSERT 85 kern/test/bitmaptest.c KASSERT(bitmap_isset(b, i)==0); KASSERT 88 kern/test/bitmaptest.c KASSERT(bitmap_isset(b, i)); KASSERT 93 kern/test/bitmaptest.c KASSERT(x < TESTSIZE); KASSERT 94 kern/test/bitmaptest.c KASSERT(bitmap_isset(b, x)); KASSERT 95 kern/test/bitmaptest.c KASSERT(data[x]==1); KASSERT 100 kern/test/bitmaptest.c KASSERT(bitmap_isset(b, i)); KASSERT 101 kern/test/bitmaptest.c KASSERT(data[i]==0); KASSERT 84 kern/test/fstest.c KASSERT(amt>=0); KASSERT 93 kern/test/fstest.c KASSERT(ch>='A' && ch<='Z'); KASSERT 107 kern/test/fstest.c KASSERT(strlen(buf) < buflen); KASSERT 149 kern/test/fstest.c KASSERT(sizeof(buf) > strlen(SLOGAN)); KASSERT 168 kern/test/tt3.c KASSERT(m1 != NULL); KASSERT 170 kern/test/tt3.c KASSERT(m2 != NULL); KASSERT 172 kern/test/tt3.c KASSERT(m3 != NULL); KASSERT 163 kern/test/uw-tests.c KASSERT(test_value == START_VALUE); KASSERT 61 kern/thread/spinlock.c KASSERT(lk->lk_holder == NULL); KASSERT 62 kern/thread/spinlock.c KASSERT(spinlock_data_get(&lk->lk_lock) == 0); KASSERT 121 kern/thread/spinlock.c KASSERT(lk->lk_holder == curcpu->c_self); KASSERT 92 kern/thread/spl.c KASSERT(oldspl == IPL_NONE); KASSERT 93 kern/thread/spl.c KASSERT(newspl == IPL_HIGH); KASSERT 112 kern/thread/spl.c KASSERT(oldspl == IPL_HIGH); KASSERT 113 kern/thread/spl.c KASSERT(newspl == IPL_NONE); KASSERT 52 kern/thread/synch.c KASSERT(initial_count >= 0); KASSERT 81 kern/thread/synch.c KASSERT(sem != NULL); KASSERT 93 kern/thread/synch.c KASSERT(sem != NULL); KASSERT 101 kern/thread/synch.c KASSERT(curthread->t_in_interrupt == false); KASSERT 127 kern/thread/synch.c KASSERT(sem->sem_count > 0); KASSERT 135 kern/thread/synch.c KASSERT(sem != NULL); KASSERT 140 kern/thread/synch.c KASSERT(sem->sem_count > 0); KASSERT 174 kern/thread/synch.c KASSERT(lock != NULL); KASSERT 237 kern/thread/synch.c KASSERT(cv != NULL); KASSERT 107 kern/thread/thread.c KASSERT(((uint32_t*)thread->t_stack)[0] == THREAD_STACK_MAGIC); KASSERT 108 kern/thread/thread.c KASSERT(((uint32_t*)thread->t_stack)[1] == THREAD_STACK_MAGIC); KASSERT 109 kern/thread/thread.c KASSERT(((uint32_t*)thread->t_stack)[2] == THREAD_STACK_MAGIC); KASSERT 110 kern/thread/thread.c KASSERT(((uint32_t*)thread->t_stack)[3] == THREAD_STACK_MAGIC); KASSERT 242 kern/thread/thread.c KASSERT(thread != curthread); KASSERT 243 kern/thread/thread.c KASSERT(thread->t_state != S_RUN); KASSERT 251 kern/thread/thread.c KASSERT(thread->t_proc == NULL); KASSERT 278 kern/thread/thread.c KASSERT(z != curthread); KASSERT 279 kern/thread/thread.c KASSERT(z->t_state == S_ZOMBIE); KASSERT 381 kern/thread/thread.c KASSERT(curthread->t_proc != NULL); KASSERT 397 kern/thread/thread.c KASSERT(curcpu != NULL); KASSERT 398 kern/thread/thread.c KASSERT(curthread != NULL); KASSERT 399 kern/thread/thread.c KASSERT(curcpu->c_number == software_number); KASSERT 446 kern/thread/thread.c KASSERT(spinlock_do_i_hold(&targetcpu->c_runqueue_lock)); KASSERT 790 kern/thread/thread.c KASSERT(curproc == kproc || curproc == NULL); KASSERT 800 kern/thread/thread.c KASSERT(cur->t_proc == NULL); KASSERT 956 kern/thread/thread.c KASSERT(threadlist_isempty(&victims)); KASSERT 1026 kern/thread/thread.c KASSERT(!curthread->t_in_interrupt); KASSERT 1121 kern/thread/thread.c KASSERT(code >= 0 && code < 32); KASSERT 43 kern/thread/threadlist.c KASSERT(t != NULL); KASSERT 55 kern/thread/threadlist.c KASSERT(tln->tln_next == NULL); KASSERT 56 kern/thread/threadlist.c KASSERT(tln->tln_prev == NULL); KASSERT 57 kern/thread/threadlist.c KASSERT(tln->tln_self != NULL); KASSERT 85 kern/thread/threadlist.c KASSERT(threadlist_isempty(tl)); KASSERT 86 kern/thread/threadlist.c KASSERT(tl->tl_count == 0); KASSERT 97 kern/vfs/device.c KASSERT(uio->uio_rw == UIO_READ); KASSERT 122 kern/vfs/device.c KASSERT(uio->uio_rw == UIO_WRITE); KASSERT 151 kern/vfs/vfscwd.c KASSERT(uio->uio_rw==UIO_READ); KASSERT 159 kern/vfs/vfscwd.c KASSERT(cwd->vn_fs != NULL); KASSERT 167 kern/vfs/vfscwd.c KASSERT(name != NULL); KASSERT 134 kern/vfs/vfslist.c KASSERT(lock_do_i_hold(vfs_biglock)); KASSERT 135 kern/vfs/vfslist.c KASSERT(vfs_biglock_depth > 0); KASSERT 182 kern/vfs/vfslist.c KASSERT(vfs_biglock_do_i_hold()); KASSERT 220 kern/vfs/vfslist.c KASSERT(kd->kd_fs==NULL); KASSERT 221 kern/vfs/vfslist.c KASSERT(kd->kd_rawname==NULL); KASSERT 222 kern/vfs/vfslist.c KASSERT(kd->kd_device != NULL); KASSERT 233 kern/vfs/vfslist.c KASSERT(kd->kd_device != NULL); KASSERT 262 kern/vfs/vfslist.c KASSERT(fs != NULL); KASSERT 264 kern/vfs/vfslist.c KASSERT(vfs_biglock_do_i_hold()); KASSERT 341 kern/vfs/vfslist.c KASSERT(vfs_biglock_do_i_hold()); KASSERT 483 kern/vfs/vfslist.c KASSERT(vfs_biglock_do_i_hold()); KASSERT 529 kern/vfs/vfslist.c KASSERT(kd->kd_rawname != NULL); KASSERT 530 kern/vfs/vfslist.c KASSERT(kd->kd_device != NULL); KASSERT 538 kern/vfs/vfslist.c KASSERT(fs != NULL); KASSERT 571 kern/vfs/vfslist.c KASSERT(kd->kd_rawname != NULL); KASSERT 572 kern/vfs/vfslist.c KASSERT(kd->kd_device != NULL); KASSERT 589 kern/vfs/vfslist.c KASSERT(result==0); KASSERT 136 kern/vfs/vfslookup.c KASSERT(vfs_biglock_do_i_hold()); KASSERT 188 kern/vfs/vfslookup.c KASSERT(colon==0 || slash==0); KASSERT 198 kern/vfs/vfslookup.c KASSERT(path[0]==':'); KASSERT 209 kern/vfs/vfslookup.c KASSERT(vn->vn_fs!=NULL); KASSERT 88 kern/vfs/vfspath.c KASSERT(vn != NULL); KASSERT 48 kern/vfs/vnode.c KASSERT(vn!=NULL); KASSERT 49 kern/vfs/vnode.c KASSERT(ops!=NULL); KASSERT 66 kern/vfs/vnode.c KASSERT(vn->vn_refcount==1); KASSERT 67 kern/vfs/vnode.c KASSERT(vn->vn_opencount==0); KASSERT 84 kern/vfs/vnode.c KASSERT(vn != NULL); KASSERT 103 kern/vfs/vnode.c KASSERT(vn != NULL); KASSERT 107 kern/vfs/vnode.c KASSERT(vn->vn_refcount>0); KASSERT 130 kern/vfs/vnode.c KASSERT(vn != NULL); KASSERT 146 kern/vfs/vnode.c KASSERT(vn != NULL); KASSERT 150 kern/vfs/vnode.c KASSERT(vn->vn_opencount>0); KASSERT 162 kern/vm/kmalloc.c KASSERT(0); KASSERT 177 kern/vm/kmalloc.c KASSERT(j < NPAGEREFS); /* note: j is unsigned, don't test < 0 */ KASSERT 180 kern/vm/kmalloc.c KASSERT((pagerefs_inuse[i] & k) != 0); KASSERT 219 kern/vm/kmalloc.c KASSERT(spinlock_do_i_hold(&kmalloc_spinlock)); KASSERT 222 kern/vm/kmalloc.c KASSERT(pr->nfree==0); KASSERT 229 kern/vm/kmalloc.c KASSERT(pr->freelist_offset < PAGE_SIZE); KASSERT 230 kern/vm/kmalloc.c KASSERT(pr->freelist_offset % sizes[blktype] == 0); KASSERT 237 kern/vm/kmalloc.c KASSERT(fla >= prpage && fla < prpage + PAGE_SIZE); KASSERT 238 kern/vm/kmalloc.c KASSERT((fla-prpage) % sizes[blktype] == 0); KASSERT 239 kern/vm/kmalloc.c KASSERT(fla >= MIPS_KSEG0); KASSERT 240 kern/vm/kmalloc.c KASSERT(fla < MIPS_KSEG1); KASSERT 243 kern/vm/kmalloc.c KASSERT(nfree==pr->nfree); KASSERT 258 kern/vm/kmalloc.c KASSERT(spinlock_do_i_hold(&kmalloc_spinlock)); KASSERT 263 kern/vm/kmalloc.c KASSERT(sc < NPAGEREFS); KASSERT 270 kern/vm/kmalloc.c KASSERT(ac < NPAGEREFS); KASSERT 274 kern/vm/kmalloc.c KASSERT(sc==ac); KASSERT 293 kern/vm/kmalloc.c KASSERT(spinlock_do_i_hold(&kmalloc_spinlock)); KASSERT 305 kern/vm/kmalloc.c KASSERT(n <= 32*sizeof(freemap)/sizeof(freemap[0])); KASSERT 314 kern/vm/kmalloc.c KASSERT(index<n); KASSERT 358 kern/vm/kmalloc.c KASSERT(blktype>=0 && blktype<NSIZES); KASSERT 419 kern/vm/kmalloc.c KASSERT(PR_BLOCKTYPE(pr) == blktype); KASSERT 426 kern/vm/kmalloc.c KASSERT(pr->freelist_offset < PAGE_SIZE); KASSERT 436 kern/vm/kmalloc.c KASSERT(pr->nfree > 0); KASSERT 438 kern/vm/kmalloc.c KASSERT(fla - prpage < PAGE_SIZE); KASSERT 442 kern/vm/kmalloc.c KASSERT(pr->nfree == 0); KASSERT 495 kern/vm/kmalloc.c KASSERT(fl != fl->next); KASSERT 499 kern/vm/kmalloc.c KASSERT(pr->freelist_offset == (pr->nfree-1)*sizes[blktype]); KASSERT 534 kern/vm/kmalloc.c KASSERT(blktype>=0 && blktype<NSIZES); KASSERT 576 kern/vm/kmalloc.c KASSERT(pr->nfree <= PAGE_SIZE / sizes[blktype]); KASSERT 630 kern/vm/kmalloc.c KASSERT((vaddr_t)ptr%PAGE_SIZE==0); KASSERT 67 kern/vm/uw-vmstats.c KASSERT(index < VMSTAT_COUNT);