KDASSERT          625 arch/i386/isa/npx.c 	KDASSERT(ci->ci_fpcurproc == NULL);
KDASSERT          627 arch/i386/isa/npx.c 	KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL);
KDASSERT          665 arch/i386/isa/npx.c 	KDASSERT(i386_use_fxsave == 0);
KDASSERT          701 arch/i386/isa/npx.c 	KDASSERT(ci->ci_fpcurproc == NULL);
KDASSERT          703 arch/i386/isa/npx.c 	KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL);
KDASSERT          753 arch/i386/isa/npx.c 	KDASSERT(ci == curcpu());
KDASSERT          810 arch/i386/isa/npx.c 	KDASSERT(p->p_addr != NULL);
KDASSERT          268 dev/pci/cmpci.c 	KDASSERT(no != CMPCI_REG_MISC);
KDASSERT          279 dev/pci/cmpci.c 	KDASSERT(no != CMPCI_REG_MISC);
KDASSERT          447 kern/sched_bsd.c 	KDASSERT(p->p_cpu != NULL);
KDASSERT          448 kern/sched_bsd.c 	KDASSERT(p->p_cpu == curcpu());
KDASSERT          551 kern/uipc_socket2.c 	KDASSERT(m->m_nextpkt == NULL);