ASSERT 75 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 84 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 93 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 102 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 111 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 120 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 134 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 147 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 158 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 170 bsp/drv/dev/base/cons.c ASSERT(consdev != NULL); ASSERT 62 bsp/drv/dev/base/init.c ASSERT(dp != NULL); ASSERT 89 bsp/drv/dev/base/init.c ASSERT(dp->init != NULL); ASSERT 494 bsp/drv/dev/base/pm.c ASSERT(pm_softc != NULL); ASSERT 481 bsp/drv/dev/block/fdd.c ASSERT(0); ASSERT 697 bsp/drv/dev/block/fdd.c ASSERT(buf != NULL); ASSERT 256 bsp/drv/dev/cpufreq/cpufreq.c ASSERT(sc->ops != NULL); ASSERT 433 bsp/drv/dev/cpufreq/est.c ASSERT(max_mhz); ASSERT 155 bsp/drv/dev/dma/i8237.c ASSERT(chan >= 0 && chan < NR_DMAS); ASSERT 156 bsp/drv/dev/dma/i8237.c ASSERT(chan != 4); ASSERT 181 bsp/drv/dev/dma/i8237.c ASSERT(dma->in_use); ASSERT 198 bsp/drv/dev/dma/i8237.c ASSERT(handle); ASSERT 202 bsp/drv/dev/dma/i8237.c ASSERT(paddr < 0xffffff); ASSERT 234 bsp/drv/dev/dma/i8237.c ASSERT(handle); ASSERT 103 bsp/drv/lib/string.c ASSERT(count != 0); ASSERT 115 bsp/drv/lib/string.c ASSERT(count != 0); ASSERT 156 bsp/hal/arm/arch/mmu.c ASSERT(pte_flag != 0); ASSERT 62 bsp/hal/arm/gba/machdep.c ASSERT(bip != NULL); ASSERT 128 bsp/hal/x86/arch/mmu.c ASSERT(pte_flag != 0); ASSERT 126 bsp/hal/x86/pc/machdep.c ASSERT(bip != NULL); ASSERT 136 sys/kern/device.c ASSERT(drv != NULL); ASSERT 214 sys/kern/device.c ASSERT(dev != NULL); ASSERT 215 sys/kern/device.c ASSERT(dev->private != NULL); ASSERT 323 sys/kern/device.c ASSERT(ops->open != NULL); ASSERT 348 sys/kern/device.c ASSERT(ops->close != NULL); ASSERT 380 sys/kern/device.c ASSERT(ops->read != NULL); ASSERT 413 sys/kern/device.c ASSERT(ops->write != NULL); ASSERT 439 sys/kern/device.c ASSERT(ops->ioctl != NULL); ASSERT 456 sys/kern/device.c ASSERT(dev != NULL); ASSERT 460 sys/kern/device.c ASSERT(ops->devctl != NULL); ASSERT 496 sys/kern/device.c ASSERT(ops->devctl != NULL); ASSERT 556 sys/kern/device.c ASSERT(entry != NULL); ASSERT 269 sys/kern/exception.c ASSERT(i != NEXC); ASSERT 290 sys/kern/exception.c ASSERT(excno > 0 && excno < NEXC); ASSERT 316 sys/kern/exception.c ASSERT(curthread->state != TS_EXIT); ASSERT 88 sys/kern/irq.c ASSERT(isr != NULL); ASSERT 129 sys/kern/irq.c ASSERT(irq != NULL); ASSERT 130 sys/kern/irq.c ASSERT(irq->vector < MAXIRQS); ASSERT 170 sys/kern/irq.c ASSERT(irq->istreq >= 0); ASSERT 200 sys/kern/irq.c ASSERT(irq->isr != NULL); ASSERT 214 sys/kern/irq.c ASSERT(irq->ist != IST_NONE); ASSERT 217 sys/kern/irq.c ASSERT(irq->istreq != 0); ASSERT 272 sys/kern/sched.c ASSERT(evt != NULL); ASSERT 313 sys/kern/sched.c ASSERT(evt != NULL); ASSERT 536 sys/kern/sched.c ASSERT(curthread->locks > 0); ASSERT 653 sys/kern/sched.c ASSERT(dpc != NULL); ASSERT 654 sys/kern/sched.c ASSERT(fn != NULL); ASSERT 67 sys/kern/task.c ASSERT(parent != NULL); ASSERT 268 sys/kern/task.c ASSERT(task != curtask); ASSERT 272 sys/kern/thread.c ASSERT(t != curthread); ASSERT 457 sys/kern/thread.c ASSERT(zombie != curthread); ASSERT 530 sys/kern/thread.c ASSERT(curthread->locks > 0); ASSERT 557 sys/kern/thread.c ASSERT(t != NULL); ASSERT 558 sys/kern/thread.c ASSERT(t->task->flags & TF_SYSTEM); ASSERT 101 sys/kern/timer.c ASSERT(tmr != NULL); ASSERT 123 sys/kern/timer.c ASSERT(tmr != NULL); ASSERT 124 sys/kern/timer.c ASSERT(fn != NULL); ASSERT 94 sys/lib/string.c ASSERT(count != 0); ASSERT 107 sys/lib/string.c ASSERT(count != 0); ASSERT 182 sys/mem/kmem.c ASSERT(size != 0); ASSERT 274 sys/mem/kmem.c ASSERT(ptr != NULL); ASSERT 81 sys/mem/page.c ASSERT(psize != 0); ASSERT 134 sys/mem/page.c ASSERT(psize != 0); ASSERT 571 sys/mem/vm.c ASSERT(src != NULL); ASSERT 572 sys/mem/vm.c ASSERT(src->next != NULL); ASSERT 906 sys/mem/vm.c ASSERT(seg->flags != SEG_FREE); ASSERT 645 sys/mem/vm_nommu.c ASSERT(seg->flags != SEG_FREE); ASSERT 203 sys/sync/mutex.c ASSERT(m->locks != 0); ASSERT 254 sys/sync/mutex.c ASSERT(m->locks != 0); ASSERT 452 sys/sync/mutex.c ASSERT(count < MAXINHERIT); ASSERT 197 usr/server/exec/main.c ASSERT(msg); ASSERT 246 usr/server/fs/arfs/arfs_vnops.c ASSERT(nr_copy > 0); ASSERT 111 usr/server/fs/vfs/vfs_bio.c ASSERT(!list_empty(&free_list)); ASSERT 124 usr/server/fs/vfs/vfs_bio.c ASSERT(!list_empty(&free_list)); ASSERT 202 usr/server/fs/vfs/vfs_bio.c ASSERT(ISSET(bp->b_flags, B_BUSY)); ASSERT 264 usr/server/fs/vfs/vfs_bio.c ASSERT(ISSET(bp->b_flags, B_BUSY)); ASSERT 82 usr/server/fs/vfs/vfs_task.c ASSERT(t->t_taskid); ASSERT 133 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp); ASSERT 134 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_refcnt > 0); ASSERT 147 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp); ASSERT 148 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_refcnt > 0); ASSERT 149 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_nrlocks > 0); ASSERT 210 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp); ASSERT 211 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_nrlocks > 0); ASSERT 212 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_refcnt > 0); ASSERT 231 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_nrlocks == 0); ASSERT 244 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp); ASSERT 245 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_refcnt > 0); /* Need vget */ ASSERT 263 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp); ASSERT 264 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_refcnt > 0); ASSERT 293 usr/server/fs/vfs/vfs_vnode.c ASSERT(vp->v_nrlocks == 0); ASSERT 53 usr/server/proc/proc_pid.c ASSERT(curproc); ASSERT 64 usr/server/proc/proc_pid.c ASSERT(curproc); ASSERT 79 usr/server/proc/proc_pid.c ASSERT(curproc); ASSERT 100 usr/server/proc/proc_pid.c ASSERT(curproc);