sys/arch/alpha/alpha/interrupt.c

247

KDASSERT(a1 >= SCB_IOVECBASE && a1 < SCB_SIZE);

sys/arch/alpha/alpha/machdep.c

1615

KDASSERT(ci == curcpu());

sys/arch/alpha/alpha/machdep.c

1658

KDASSERT(p->p_addr != NULL);

sys/arch/alpha/alpha/pmap.c

2921

KDASSERT(pm->pm_lev1map != kernel_lev1map);

sys/arch/alpha/alpha/trap.c

612

KDASSERT(ci->ci_fpcurproc == NULL);

sys/arch/alpha/alpha/trap.c

618

KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL);

sys/arch/amd64/include/pmap.h

419

KDASSERT(PHYS_TO_VM_PAGE(paddr) != NULL); \

sys/arch/arm/arm/bus_dma.c

941

KDASSERT((pte & L2_TYPE_MASK) != L2_TYPE_INV);

sys/arch/arm/arm/fault.c

302

KDASSERT(l->l_proc->p_sa != NULL);

sys/arch/arm/arm/fault.c

452

KDASSERT(p->p_addr->u_pcb.pcb_onfault == NULL);

sys/arch/arm/arm/fault.c

492

KDASSERT(TRAP_USERMODE(tf) == 0);

sys/arch/arm/arm/pmap7.c

1006

KDASSERT(l2b != NULL);

sys/arch/arm/arm/pmap7.c

1090

KDASSERT((flags & PMAP_WIRED) == 0 || (flags & PROT_MASK) != 0);

sys/arch/arm/arm/pmap7.c

1091

KDASSERT(((va | pa) & PGOFSET) == 0);

sys/arch/arm/arm/pmap7.c

1399

KDASSERT(l2b != NULL);

sys/arch/arm/arm/pmap7.c

1452

KDASSERT(l2b != NULL);

sys/arch/arm/arm/pmap7.c

1469

KDASSERT(mappings <= l2b->l2b_occupancy);

sys/arch/arm/arm/pmap7.c

1492

KDASSERT(pm == pmap_kernel());

sys/arch/arm/arm/pmap7.c

1785

KDASSERT(l2b != NULL);

sys/arch/arm/arm/pmap7.c

1981

KDASSERT(l2b != NULL);

sys/arch/arm/arm/pmap7.c

2095

KDASSERT(maxkvaddr <= virtual_end);

sys/arch/arm/arm/pmap7.c

2107

KDASSERT(l2b != NULL);

sys/arch/arm/arm/pmap7.c

2145

KDASSERT(l2b != NULL);

sys/arch/arm/arm/pmap7.c

2161

KDASSERT(pm->pm_l1);

sys/arch/arm/arm/pmap7.c

809

KDASSERT(count <= l2b->l2b_occupancy);

sys/arch/arm/arm/pmap7.c

910

KDASSERT(l2b != NULL);

sys/arch/i386/i386/pmap.c

1640

KDASSERT(PHYS_TO_VM_PAGE(pa) != NULL);

sys/arch/i386/i386/pmapae.c

2123

KDASSERT(PHYS_TO_VM_PAGE(pa) != NULL);

sys/arch/i386/isa/npx.c

647

KDASSERT(ci->ci_fpcurproc == NULL);

sys/arch/i386/isa/npx.c

649

KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL);

sys/arch/i386/isa/npx.c

692

KDASSERT(i386_use_fxsave == 0);

sys/arch/i386/isa/npx.c

728

KDASSERT(ci->ci_fpcurproc == NULL);

sys/arch/i386/isa/npx.c

730

KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL);

sys/arch/i386/isa/npx.c

785

KDASSERT(ci == curcpu());

sys/arch/i386/isa/npx.c

842

KDASSERT(p->p_addr != NULL);

sys/arch/landisk/dev/obio.c

274

KDASSERT(pte);

sys/arch/landisk/landisk/intr.c

143

KDASSERT(irq >= 5 && irq < 13);

sys/arch/landisk/landisk/intr.c

221

KDASSERT(ih != NULL);

sys/arch/landisk/landisk/intr.c

265

KDASSERT(ih != NULL);

sys/arch/landisk/landisk/intr.c

270

KDASSERT(irq >= 0 && irq < 8);

sys/arch/landisk/landisk/intr.c

281

KDASSERT(q != NULL);

sys/arch/landisk/landisk/intr.c

301

KDASSERT(ih != NULL);

sys/arch/landisk/landisk/intr.c

306

KDASSERT(irq >= 0 && irq < 8);

sys/arch/landisk/landisk/intr.c

317

KDASSERT(q != NULL);

sys/arch/landisk/landisk/intr.c

335

KDASSERT(irq >= 0 && irq < 8);

sys/arch/landisk/landisk/intr.c

80

KDASSERT(ih->ih_func);

sys/arch/m88k/m88k/pmap.c

746

KDASSERT((vaddr_t)sdt == ptepa);

sys/arch/mips64/mips64/fp_emulate.c

173

KDASSERT(tf == p->p_md.md_regs);

sys/arch/octeon/dev/if_cnmac.c

93

#define OCTEON_ETH_KDASSERT(x) KDASSERT(x)

sys/arch/sh/sh/interrupt.c

122

KDASSERT(evtcode >= 0x200 && level > 0);

sys/arch/sh/sh/locore_c.c

179

KDASSERT(pte && *pte != 0);

sys/arch/sh/sh/locore_c.c

205

KDASSERT(pte && *pte != 0);

sys/arch/sh/sh/mmu_sh3.c

113

KDASSERT(asid < 0x100 && (pte & ~PGOFSET) != 0 && va != 0);

sys/arch/sh/sh/mmu_sh4.c

151

KDASSERT(asid < 0x100 && (pte & ~PGOFSET) != 0 && va != 0);

sys/arch/sh/sh/pmap.c

1019

KDASSERT((((int)va < 0) && (pmap == pmap_kernel())) ||

sys/arch/sh/sh/pmap.c

1027

KDASSERT(va != 0);

sys/arch/sh/sh/pmap.c

127

KDASSERT(!uvm.page_init_done);

sys/arch/sh/sh/pmap.c

135

KDASSERT(i != vm_nphysseg);

sys/arch/sh/sh/pmap.c

146

KDASSERT(vm_nphysseg > 0);

sys/arch/sh/sh/pmap.c

250

KDASSERT(*pte == 0);

sys/arch/sh/sh/pmap.c

284

KDASSERT(pmap->pm_asid >=0 && pmap->pm_asid < 256);

sys/arch/sh/sh/pmap.c

298

KDASSERT(prot != 0 && ((flags & PROT_MASK) & ~prot) == 0);

sys/arch/sh/sh/pmap.c

490

KDASSERT((sva & PGOFSET) == 0);

sys/arch/sh/sh/pmap.c

548

KDASSERT(!(pv->pv_pmap == pmap && pv->pv_va == vaddr));

sys/arch/sh/sh/pmap.c

558

KDASSERT((va & PGOFSET) == 0);

sys/arch/sh/sh/pmap.c

559

KDASSERT(va >= VM_MIN_KERNEL_ADDRESS && va < VM_MAX_KERNEL_ADDRESS);

sys/arch/sh/sh/pmap.c

572

KDASSERT(*pte == 0);

sys/arch/sh/sh/pmap.c

584

KDASSERT((va & PGOFSET) == 0);

sys/arch/sh/sh/pmap.c

585

KDASSERT((len & PGOFSET) == 0);

sys/arch/sh/sh/pmap.c

586

KDASSERT(va >= VM_MIN_KERNEL_ADDRESS && eva <= VM_MAX_KERNEL_ADDRESS);

sys/arch/sh/sh/pmap.c

590

KDASSERT(pte != NULL);

sys/arch/sh/sh/pmap.c

729

KDASSERT(pmap);

sys/arch/sh/sh/trap.c

173

KDASSERT(p->p_md.md_regs == tf); /* check exception depth */

sys/arch/sh/sh/trap.c

222

KDASSERT(p && p->p_md.md_pcb->pcb_onfault != NULL);

sys/arch/sh/sh/trap.c

340

KDASSERT(p->p_md.md_regs == tf);

sys/arch/sh/sh/trap.c

343

KDASSERT(p == NULL || /* idle */

sys/arch/sh/sh/trap.c

481

KDASSERT(p != NULL);

sys/arch/sh/sh/trap.c

482

KDASSERT(p->p_md.md_regs == tf);

sys/arch/sh/sh/vm_machdep.c

145

KDASSERT(p1 == curproc || p1 == &proc0);

sys/arch/sparc64/sparc64/pmap.c

1603

KDASSERT(va < INTSTACK || va > EINTSTACK);

sys/arch/sparc64/sparc64/pmap.c

1604

KDASSERT(va < kdata || va > ekdata);

sys/arch/sparc64/sparc64/pmap.c

1640

KDASSERT((tte.data & TLB_NFO) == 0);

sys/arch/sparc64/sparc64/pmap.c

1661

KDASSERT(va < INTSTACK || va > EINTSTACK);

sys/arch/sparc64/sparc64/pmap.c

1662

KDASSERT(va < kdata || va > ekdata);

sys/arch/sparc64/sparc64/pmap.c

1708

KDASSERT(pm != pmap_kernel() || va < INTSTACK || va > EINTSTACK);

sys/arch/sparc64/sparc64/pmap.c

1709

KDASSERT(pm != pmap_kernel() || va < kdata || va > ekdata);

sys/arch/sparc64/sparc64/pmap.c

1775

KDASSERT((tte.data & TLB_NFO) == 0);

sys/arch/sparc64/sparc64/pmap.c

1826

KDASSERT(pm != pmap_kernel() || endva < INTSTACK || va > EINTSTACK);

sys/arch/sparc64/sparc64/pmap.c

1827

KDASSERT(pm != pmap_kernel() || endva < kdata || va > ekdata);

sys/arch/sparc64/sparc64/pmap.c

1893

KDASSERT(pm != pmap_kernel() || eva < INTSTACK || sva > EINTSTACK);

sys/arch/sparc64/sparc64/pmap.c

1894

KDASSERT(pm != pmap_kernel() || eva < kdata || sva > ekdata);

sys/arch/sparc64/sparc64/pmap.c

1941

KDASSERT((data & TLB_NFO) == 0);

sys/arch/sparc64/sparc64/pmap.c

2203

KDASSERT((data & TLB_NFO) == 0);

sys/arch/sparc64/sparc64/pmap.c

2256

KDASSERT((data & TLB_NFO) == 0);

sys/arch/sparc64/sparc64/pmap.c

2437

KDASSERT((data & TLB_NFO) == 0);

sys/arch/sparc64/sparc64/vm_machdep.c

228

KDASSERT(ci == curcpu());

sys/dev/pci/cmpci.c

234

KDASSERT(no != CMPCI_REG_MISC);

sys/dev/pci/cmpci.c

245

KDASSERT(no != CMPCI_REG_MISC);

sys/kern/subr_blist.c

255

KDASSERT(blk < bl->bl_blocks);

sys/kern/subr_blist.c

256

KDASSERT(bl->bl_free <= bl->bl_blocks);

sys/kern/subr_blist.c

268

KDASSERT(blkat < bl->bl_blocks);

sys/kern/subr_blist.c

269

KDASSERT(blkat + count <= bl->bl_blocks);

sys/kern/subr_blist.c

279

KDASSERT(blk < bl->bl_blocks);

sys/kern/subr_blist.c

280

KDASSERT(bl->bl_free <= bl->bl_blocks);

sys/kern/subr_blist.c

296

KDASSERT(blkno < bl->bl_blocks);

sys/kern/subr_blist.c

297

KDASSERT(blkno + count <= bl->bl_blocks);

sys/kern/subr_blist.c

305

KDASSERT(bl->bl_free <= bl->bl_blocks);

sys/kern/subr_blist.c

322

KDASSERT(blkno < bl->bl_blocks);

sys/kern/subr_blist.c

323

KDASSERT(blkno + count <= bl->bl_blocks);

sys/kern/subr_blist.c

332

KDASSERT(bl->bl_free <= bl->bl_blocks);

sys/kern/subr_blist.c

399

KDASSERT(*maxbp <= *maxep);

sys/kern/subr_blist.c

400

KDASSERT(*maxbp < bl->bl_blocks);

sys/kern/subr_blist.c

401

KDASSERT(*maxep <= bl->bl_blocks);

sys/kern/uipc_mbuf.c

973

KDASSERT(m_trailingspace(m0) >= len);

sys/kern/uipc_socket2.c

830

KDASSERT(m->m_nextpkt == NULL);

sys/uvm/uvm_map.c

1141

KDASSERT(entry->start == *addr && entry->end == *addr + sz);

sys/uvm/uvm_map.c

1222

KDASSERT(e1 != NULL && e2 != NULL);

sys/uvm/uvm_map.c

1408

KDASSERT(map != NULL);

sys/uvm/uvm_map.c

1409

KDASSERT(first != NULL);

sys/uvm/uvm_map.c

1410

KDASSERT(last != NULL);

sys/uvm/uvm_map.c

1411

KDASSERT(dead != NULL);

sys/uvm/uvm_map.c

1412

KDASSERT(sz > 0);

sys/uvm/uvm_map.c

1413

KDASSERT(addr + sz > addr);

sys/uvm/uvm_map.c

1414

KDASSERT(first->end <= addr && VMMAP_FREE_END(first) > addr);

sys/uvm/uvm_map.c

1415

KDASSERT(last->start < addr + sz && VMMAP_FREE_END(last) >= addr + sz);

sys/uvm/uvm_map.c

1416

KDASSERT(uvm_map_isavail(map, NULL, &first, &last, addr, sz));

sys/uvm/uvm_map.c

1455

KDASSERT(last->start == last->end);

sys/uvm/uvm_map.c

1956

KDASSERT(entry != NULL && entry->start <= start);

sys/uvm/uvm_map.c

1965

KDASSERT(entry1->start >= start);

sys/uvm/uvm_map.c

1986

KDASSERT(entry->start >= start);

sys/uvm/uvm_map.c

1989

KDASSERT(entry->start >= start && entry->end <= end);

sys/uvm/uvm_map.c

2029

KDASSERT(entry->end <= start ||

sys/uvm/uvm_map.c

2036

KDASSERT(uvm_map_entrybyaddr(&map->addr, a) == NULL);

sys/uvm/uvm_map.c

2055

KDASSERT(iter->start >= start_addr && iter->end <= end_addr);

sys/uvm/uvm_map.c

2093

KDASSERT(iter->start >= start_addr && iter->end <= end_addr);

sys/uvm/uvm_map.c

2546

KDASSERT(RBT_EMPTY(uvm_map_addr, &map->addr));

sys/uvm/uvm_map.c

2569

KDASSERT(map != NULL && orig != NULL && next != NULL);

sys/uvm/uvm_map.c

2574

KDASSERT(RBT_FIND(uvm_map_addr, &map->addr, orig) == orig);

sys/uvm/uvm_map.c

2575

KDASSERT(RBT_FIND(uvm_map_addr, &map->addr, next) != next);

sys/uvm/uvm_map.c

3082

KDASSERT(first != NULL);

sys/uvm/uvm_map.c

3361

KDASSERT(RBT_EMPTY(uvm_map_addr, &map->addr));

sys/uvm/uvm_map.c

3473

KDASSERT(!UVM_ET_ISSUBMAP(old_entry));

sys/uvm/uvm_map.c

363

KDASSERT((entry->fspace & (vaddr_t)PAGE_MASK) == 0);

sys/uvm/uvm_map.c

371

KDASSERT(fun != NULL);

sys/uvm/uvm_map.c

412

KDASSERT(entry->start <= entry->end);

sys/uvm/uvm_map.c

413

KDASSERT((entry->start & (vaddr_t)PAGE_MASK) == 0 &&

sys/uvm/uvm_map.c

4293

KDASSERT(!UVM_ET_ISNEEDSCOPY(entry));

sys/uvm/uvm_map.c

4840

KDASSERT(b_end >= b_start && s_end >= s_start);

sys/uvm/uvm_map.c

4897

KDASSERT(min <= max);

sys/uvm/uvm_map.c

4898

KDASSERT((entry != NULL && VMMAP_FREE_END(entry) == min) ||

sys/uvm/uvm_map.c

4955

KDASSERT(VMMAP_FREE_END(entry) == min);

sys/uvm/uvm_map.c

4969

KDASSERT(entry != NULL);

sys/uvm/uvm_map.c

592

KDASSERT(atree != NULL && start_ptr != NULL && end_ptr != NULL);

sys/uvm/uvm_map.c

611

KDASSERT(*start_ptr != NULL && *end_ptr != NULL);

sys/uvm/uvm_map.c

612

KDASSERT((*start_ptr)->start <= addr &&

sys/uvm/uvm_map.c

872

KDASSERT(entry->start == *addr && entry->end == *addr + sz);

sys/uvm/uvm_pager.c

204

KDASSERT(segaddr == pseg->start + id * MAXBSIZE);

sys/uvm/uvm_pmemrange.c

1242

KDASSERT(start == 0 || atop(VM_PAGE_TO_PHYS(found)) >= start);

sys/uvm/uvm_pmemrange.c

1243

KDASSERT(end == 0 || atop(VM_PAGE_TO_PHYS(found)) < end);

sys/uvm/uvm_pmemrange.c

1783

KDASSERT(atop(VM_PAGE_TO_PHYS(r)) <= atop(VM_PAGE_TO_PHYS(pg)));

sys/uvm/uvm_pmemrange.c

1804

KDASSERT(pmr != NULL && init_root != NULL);

sys/uvm/uvm_pmemrange.c

1875

KDASSERT(PMR_IS_SUBRANGE_OF(atop(VM_PAGE_TO_PHYS(low)),

sys/uvm/uvm_pmemrange.c

2020

KDASSERT(fcount == count);

sys/uvm/uvm_pmemrange.c

321

KDASSERT(*pg_next == NULL ||

sys/uvm/uvm_pmemrange.c

323

KDASSERT(*pg_prev == NULL ||

sys/uvm/uvm_pmemrange.c

349

KDASSERT(RBT_FIND(uvm_pmr_addr, &pmr->addr, pg) == pg);

sys/uvm/uvm_pmemrange.c

350

KDASSERT(pg->pg_flags & PQ_FREE);

sys/uvm/uvm_pmemrange.c

366

KDASSERT(pg->fpgsz >= 1);

sys/uvm/uvm_pmemrange.c

367

KDASSERT(pg->pg_flags & PQ_FREE);

sys/uvm/uvm_pmemrange.c

376

KDASSERT(i == pg);

sys/uvm/uvm_pmemrange.c

380

KDASSERT(RBT_FIND(uvm_pmr_size, &pmr->size[memtype],

sys/uvm/uvm_pmemrange.c

412

KDASSERT(pg->pg_flags & PQ_FREE);

sys/uvm/uvm_pmemrange.c

413

KDASSERT(pg->fpgsz >= 1);

sys/uvm/uvm_pmemrange.c

418

KDASSERT(i != pg);

sys/uvm/uvm_pmemrange.c

420

KDASSERT(RBT_FIND(uvm_pmr_size, &pmr->size[mt],

sys/uvm/uvm_pmemrange.c

423

KDASSERT(RBT_FIND(uvm_pmr_addr, &pmr->addr, pg) == NULL);

sys/uvm/uvm_pmemrange.c

464

KDASSERT(pg->fpgsz >= 1);

sys/uvm/uvm_pmemrange.c

465

KDASSERT(pg->pg_flags & PQ_FREE);

sys/uvm/uvm_pmemrange.c

471

KDASSERT(i != pg);

sys/uvm/uvm_pmemrange.c

473

KDASSERT(RBT_FIND(uvm_pmr_size, &pmr->size[mti],

sys/uvm/uvm_pmemrange.c

476

KDASSERT(RBT_FIND(uvm_pmr_addr, &pmr->addr, pg) == pg);

sys/uvm/uvm_pmemrange.c

518

KDASSERT(pmr->low <= atop(VM_PAGE_TO_PHYS(pg)) &&

sys/uvm/uvm_pmemrange.c

580

KDASSERT(pmr->low <= atop(VM_PAGE_TO_PHYS(pg)) &&

sys/uvm/uvm_pmemrange.c

791

KDASSERT(end > start);

sys/uvm/uvm_pmemrange.c

792

KDASSERT(pmr->low <= atop(VM_PAGE_TO_PHYS(pg)));

sys/uvm/uvm_pmemrange.c

793

KDASSERT(pmr->high >= atop(VM_PAGE_TO_PHYS(pg)) + pg->fpgsz);

sys/uvm/uvm_pmemrange.c

794

KDASSERT(atop(VM_PAGE_TO_PHYS(pg)) <= start);

sys/uvm/uvm_pmemrange.c

795

KDASSERT(atop(VM_PAGE_TO_PHYS(pg)) + pg->fpgsz >= end);

sys/uvm/uvm_pmemrange.c

799

KDASSERT(before_sz + after_sz + (end - start) == pg->fpgsz);

sys/uvm/uvm_pmemrange.c

827

KDASSERT(atop(VM_PAGE_TO_PHYS(after)) == end);