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);