sys/arch/aarch64/aarch64/aarch64_machdep.c

374

KDASSERT(bootconfig.dramblocks <= DRAM_BLOCKS);

sys/arch/aarch64/aarch64/cpu_machdep.c

122

KDASSERT(kpreempt_disabled());

sys/arch/aarch64/aarch64/pmap.c

1215

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

sys/arch/aarch64/aarch64/pmap.c

1216

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

sys/arch/aarch64/aarch64/pmap.c

1218

KDASSERT(!IN_DIRECTMAP_ADDR(va));

sys/arch/aarch64/aarch64/pmap.c

1219

KDASSERT(IN_RANGE(va, VM_MIN_KERNEL_ADDRESS, VM_MAX_KERNEL_ADDRESS));

sys/arch/aarch64/aarch64/pmap.c

1292

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

sys/arch/aarch64/aarch64/pmap.c

1293

KDASSERT((eva & PAGE_MASK) == 0);

sys/arch/aarch64/aarch64/trap.c

184

KDASSERT(ci->ci_cpl == IPL_NONE);

sys/arch/aarch64/include/cpu.h

260

KDASSERT(kpreempt_disabled());

sys/arch/alpha/alpha/interrupt.c

271

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

sys/arch/amiga/dev/ite.c

1014

KDASSERT(kbd_tty);

sys/arch/amiga/dev/ite.c

484

KDASSERT(tp);

sys/arch/amiga/dev/ite.c

498

KDASSERT(tp);

sys/arch/amiga/dev/ite.c

509

KDASSERT(tp);

sys/arch/amiga/dev/ite.c

520

KDASSERT(tp);

sys/arch/amiga/dev/ite.c

542

KDASSERT(tp);

sys/arch/amiga/dev/ite.c

611

KDASSERT(tp);

sys/arch/arm/arm/ast.c

111

KDASSERT(ci->ci_cpl == IPL_NONE);

sys/arch/arm/arm32/fault.c

629

KDASSERT(((struct pcb *)lwp_getpcb(l))->pcb_onfault == NULL);

sys/arch/arm/arm32/fault.c

726

KDASSERT(TRAP_USERMODE(tf) == 0);

sys/arch/arm/arm32/pmap.c

1319

KDASSERT(l1 != NULL);

sys/arch/arm/arm32/pmap.c

1572

KDASSERT(count <= l2b->l2b_occupancy);

sys/arch/arm/arm32/pmap.c

2108

KDASSERT(((tst_mask ^ pv->pv_va) & arm_cache_prefer_mask) == 0);

sys/arch/arm/arm32/pmap.c

2194

KDASSERT(((tst_mask ^ pv->pv_va) & arm_cache_prefer_mask) == 0);

sys/arch/arm/arm32/pmap.c

3115

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

sys/arch/arm/arm32/pmap.c

3116

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

sys/arch/arm/arm32/pmap.c

3920

KDASSERT(l2b != NULL);

sys/arch/arm/arm32/pmap.c

4010

KDASSERT(pm == pmap_kernel());

sys/arch/arm/arm32/pmap.c

4888

KDASSERT(l2b != NULL);

sys/arch/arm/arm32/pmap.c

5379

KDASSERT(!pmap_is_current(pm));

sys/arch/arm/arm32/pmap.c

5496

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

sys/arch/arm/arm32/pmap.c

5565

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

sys/arch/arm/arm32/pmap.c

5624

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

sys/arch/arm/arm32/pmap.c

5745

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

sys/arch/arm/arm32/pmap.c

5746

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

sys/arch/arm/arm32/pmap.c

5855

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

sys/arch/arm/arm32/pmap.c

5856

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

sys/arch/arm/arm32/pmap.c

6074

KDASSERT(maxkvaddr <= virtual_end);

sys/arch/arm/arm32/pmap.c

6536

KDASSERT(l2b != NULL);

sys/arch/arm/arm32/pmap.c

7628

KDASSERT(l2b != NULL);

sys/arch/arm/imx/imxgpio.c

363

KDASSERT(index < imxgpio_ngroups);

sys/arch/arm/imx/imxgpio.c

375

KDASSERT(index < imxgpio_ngroups);

sys/arch/arm/imx/imxgpio.c

387

KDASSERT(index < imxgpio_ngroups);

sys/arch/arm/xscale/pxa2x0_dmac.c

1005

KDASSERT(sc->sc_active[channel] == NULL);

sys/arch/arm/xscale/pxa2x0_dmac.c

1123

KDASSERT(src_size == 0);

sys/arch/arm/xscale/pxa2x0_dmac.c

1135

KDASSERT(dst_size == 0);

sys/arch/arm/xscale/pxa2x0_dmac.c

1277

KDASSERT(ndxs != NULL);

sys/arch/arm/xscale/pxa2x0_dmac.c

259

KDASSERT((u_int)priority < DMAC_N_PRIORITIES);

sys/arch/arm/xscale/pxa2x0_dmac.c

274

KDASSERT((u_int)priority < DMAC_N_PRIORITIES);

sys/arch/arm/xscale/pxa2x0_dmac.c

699

KDASSERT(dreq != NULL);

sys/arch/arm/xscale/pxa2x0_dmac.c

974

KDASSERT(dxs != NULL);

sys/arch/arm/xscale/pxa2x0_gpio.c

293

KDASSERT(sc->sc_irqcookie[0] == NULL);

sys/arch/arm/xscale/pxa2x0_gpio.c

296

KDASSERT(sc->sc_irqcookie[0]);

sys/arch/arm/xscale/pxa2x0_gpio.c

299

KDASSERT(sc->sc_irqcookie[1] == NULL);

sys/arch/arm/xscale/pxa2x0_gpio.c

302

KDASSERT(sc->sc_irqcookie[1]);

sys/arch/arm/xscale/pxa2x0_gpio.c

498

KDASSERT(gpio < GPIO_NPINS);

sys/arch/arm/xscale/pxa2x0_gpio.c

521

KDASSERT(gpio < GPIO_NPINS);

sys/arch/atari/dev/ite.c

1077

KDASSERT(kbd_tty);

sys/arch/atari/dev/ite.c

459

KDASSERT(tp);

sys/arch/atari/dev/ite.c

473

KDASSERT(tp);

sys/arch/atari/dev/ite.c

484

KDASSERT(tp);

sys/arch/atari/dev/ite.c

495

KDASSERT(tp);

sys/arch/atari/dev/ite.c

520

KDASSERT(tp);

sys/arch/atari/dev/ite.c

601

KDASSERT(tp);

sys/arch/dreamcast/dev/maple/mlcd.c

658

KDASSERT(size % sizeof(uint32_t) == 0);

sys/arch/dreamcast/dreamcast/machdep.c

274

KDASSERT(ih->ih_func);

sys/arch/dreamcast/dreamcast/sysasic.c

109

KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);

sys/arch/dreamcast/dreamcast/sysasic.c

110

KDASSERT(ih_fun);

sys/arch/dreamcast/dreamcast/sysasic.c

177

KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);

sys/arch/dreamcast/dreamcast/sysasic.c

214

KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);

sys/arch/dreamcast/dreamcast/sysasic.c

296

KDASSERT(evh->hnd_fn);

sys/arch/evbarm/nslu2/nslu2_leds.c

232

KDASSERT(sc->sc_usb0_ih != NULL);

sys/arch/evbarm/nslu2/nslu2_leds.c

235

KDASSERT(sc->sc_usb1_ih != NULL);

sys/arch/evbarm/nslu2/nslu2_leds.c

238

KDASSERT(sc->sc_usb2_ih != NULL);

sys/arch/evbarm/nslu2/nslu2_leds.c

242

KDASSERT(sc->sc_tmr_ih != NULL);

sys/arch/evbmips/cavium/autoconf.c

69

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/evbmips/evbmips/interrupt.c

110

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/evbmips/evbmips/interrupt.c

61

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/evbmips/evbmips/interrupt.c

66

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/evbmips/evbmips/interrupt.c

68

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/evbsh3/ap_ms104_sh4/ap_ms104_sh4_intr.c

103

KDASSERT(irq >= 1 && irq <= 14);

sys/arch/evbsh3/ap_ms104_sh4/ap_ms104_sh4_intr.c

206

KDASSERT(ih != NULL);

sys/arch/evbsh3/ap_ms104_sh4/ap_ms104_sh4_space.c

129

KDASSERT(pte);

sys/arch/evbsh3/evbsh3/machdep.c

564

KDASSERT(ih->ih_func);

sys/arch/evbsh3/t_sh7706lan/t_sh7706lan_space.c

129

KDASSERT(pte);

sys/arch/ews4800mips/ews4800mips/disksubr.c

107

KDASSERT(openmask == 0); /* openmask is obsolete. -uch */

sys/arch/hpcmips/hpcmips/machdep.c

425

KDASSERT(sp > KERNBASE + 0x400);

sys/arch/hpcmips/vr/vr.c

565

KDASSERT(vr_intr_handler[line] == vr_null_handler);

sys/arch/hpcsh/dev/hd64465/hd64465pcmcia.c

827

KDASSERT(((pa & PAGE_MASK) == 0) && ((va & PAGE_MASK) == 0) &&

sys/arch/hpcsh/dev/hd64465/hd64465pcmcia.c

834

KDASSERT(pte);

sys/arch/hpcsh/dev/hd6446x/hd6446xintc.c

103

KDASSERT(hh->hh_func != NULL);

sys/arch/hpcsh/hpcsh/machdep.c

599

KDASSERT(ih->ih_func);

sys/arch/hpcsh/hpcsh/machdep.c

632

KDASSERT(hh->hh_func != NULL);

sys/arch/landisk/dev/obio.c

302

KDASSERT(pte);

sys/arch/landisk/landisk/intr.c

144

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

sys/arch/landisk/landisk/intr.c

217

KDASSERT(ih != NULL);

sys/arch/landisk/landisk/intr.c

259

KDASSERT(ih != NULL);

sys/arch/landisk/landisk/intr.c

264

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

sys/arch/landisk/landisk/intr.c

275

KDASSERT(q != NULL);

sys/arch/landisk/landisk/intr.c

295

KDASSERT(ih != NULL);

sys/arch/landisk/landisk/intr.c

300

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

sys/arch/landisk/landisk/intr.c

311

KDASSERT(q != NULL);

sys/arch/landisk/landisk/intr.c

328

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

sys/arch/landisk/landisk/intr.c

84

KDASSERT(ih->ih_func);

sys/arch/m68k/m68k/pmap_68k.c

267

KDASSERT(pmap->pm_busy != 0);

sys/arch/m68k/m68k/pmap_68k.c

273

KDASSERT(pmap->pm_busy != 0);

sys/arch/mips/atheros/dev/if_ath_arbus.c

128

KDASSERT(prop_object_type(prop) == PROP_TYPE_NUMBER);

sys/arch/mips/cavium/octeon_intr.c

484

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/mips/cavium/octeon_intr.c

527

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/mips/cavium/octeon_intr.c

531

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/mips/mips/mips_softint.c

116

KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);

sys/arch/mmeye/mmeye/machdep.c

658

KDASSERT(ih->ih_func);

sys/arch/mmeye/mmeye/machdep.c

748

KDASSERT(pte);

sys/arch/playstation2/dev/if_smap.c

348

KDASSERT(sz >= ETHER_ADDR_LEN * 2 + ETHER_TYPE_LEN);

sys/arch/playstation2/dev/if_smap.c

349

KDASSERT(sz <= ETHER_MAX_LEN);

sys/arch/playstation2/dev/if_smap.c

466

KDASSERT(ifp->if_flags & IFF_RUNNING);

sys/arch/playstation2/dev/if_smap.c

475

KDASSERT(pktsz <= ETHER_MAX_LEN - ETHER_CRC_LEN);

sys/arch/playstation2/dev/if_smap.c

485

KDASSERT(m0 != NULL);

sys/arch/playstation2/dev/if_smap.c

503

KDASSERT((fifop & 3) == 0);

sys/arch/playstation2/dev/if_smap.c

514

KDASSERT((d->stat & SMAP_TXDESC_READY) == 0);

sys/arch/playstation2/dev/ohci_sbus.c

175

KDASSERT(sc);

sys/arch/playstation2/dev/spd.c

162

KDASSERT(LEGAL_SLOT(slot));

sys/arch/playstation2/dev/spd.c

163

KDASSERT(__spd_table[slot].func == 0);

sys/arch/playstation2/dev/spd.c

176

KDASSERT(LEGAL_SLOT(slot));

sys/arch/playstation2/ee/dmac.c

137

KDASSERT(dispatcher->func);

sys/arch/playstation2/ee/dmac.c

164

KDASSERT(LEGAL_CHANNEL(ch));

sys/arch/playstation2/ee/dmac.c

173

KDASSERT(LEGAL_CHANNEL(ch));

sys/arch/playstation2/ee/dmac.c

198

KDASSERT(dispatcher->func == NULL);

sys/arch/playstation2/ee/dmac.c

322

KDASSERT((D_PCR_CPC(r) & ~D_PCR_CPC_BIT(ch)) == 0);

sys/arch/playstation2/ee/gsfb.c

594

KDASSERT(((u_int32_t)buf & 15) == 0);

sys/arch/playstation2/ee/intc.c

108

KDASSERT(dispatcher->func);

sys/arch/playstation2/ee/intc.c

134

KDASSERT(LEGAL_CHANNEL(ch));

sys/arch/playstation2/ee/intc.c

143

KDASSERT(LEGAL_CHANNEL(ch));

sys/arch/playstation2/ee/intc.c

167

KDASSERT(dispatcher->func == NULL);

sys/arch/playstation2/ee/sif.c

127

KDASSERT((seg->ee_vaddr & 63) == 0);

sys/arch/playstation2/ee/timer.c

89

KDASSERT(LEGAL_TIMER(timer) && timer != 0);

sys/arch/playstation2/playstation2/bus_space.c

156

KDASSERT(pbs);

sys/arch/playstation2/playstation2/interrupt.c

162

KDASSERT(ipl >= IPL_SOFTCLOCK && ipl <= IPL_SOFTSERIAL);

sys/arch/powerpc/oea/pmap.c

2908

KDASSERT(VM_PAGE_TO_PHYS(pg) == (uintptr_t)VM_PAGE_TO_PHYS(pg));

sys/arch/powerpc/powerpc/pmap_subr.c

295

KDASSERT(pg != NULL);

sys/arch/powerpc/powerpc/pmap_subr.c

296

KDASSERT(LIST_EMPTY(&md->mdpg_pvoh));

sys/arch/powerpc/powerpc/pmap_subr.c

376

KDASSERT(pg != NULL);

sys/arch/powerpc/powerpc/pmap_subr.c

377

KDASSERT(LIST_EMPTY(&md->mdpg_pvoh));

sys/arch/riscv/riscv/trap.c

655

KDASSERT(ci->ci_cpl == IPL_NONE);

sys/arch/sh3/sh3/exception.c

166

KDASSERT(l->l_md.md_regs == tf); /* check exception depth */

sys/arch/sh3/sh3/exception.c

300

KDASSERT(l->l_md.md_regs == tf);

sys/arch/sh3/sh3/exception.c

303

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

sys/arch/sh3/sh3/exception.c

485

KDASSERT(l != NULL);

sys/arch/sh3/sh3/exception.c

486

KDASSERT(l->l_md.md_regs == tf);

sys/arch/sh3/sh3/interrupt.c

114

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

sys/arch/sh3/sh3/locore_c.c

192

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

sys/arch/sh3/sh3/mmu_sh3.c

133

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

sys/arch/sh3/sh3/mmu_sh4.c

138

KDASSERT(asid != 0);

sys/arch/sh3/sh3/mmu_sh4.c

195

KDASSERT(asid < 0x100);

sys/arch/sh3/sh3/mmu_sh4.c

196

KDASSERT(va != 0);

sys/arch/sh3/sh3/mmu_sh4.c

197

KDASSERT((pte & ~PGOFSET) != 0);

sys/arch/sh3/sh3/pmap.c

1031

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

sys/arch/sh3/sh3/pmap.c

1039

KDASSERT(va != 0);

sys/arch/sh3/sh3/pmap.c

135

KDASSERT(!uvm.page_init_done);

sys/arch/sh3/sh3/pmap.c

148

KDASSERT(uvm_physseg_valid_p(bank));

sys/arch/sh3/sh3/pmap.c

272

KDASSERT(*pte == 0);

sys/arch/sh3/sh3/pmap.c

307

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

sys/arch/sh3/sh3/pmap.c

329

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

sys/arch/sh3/sh3/pmap.c

520

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

sys/arch/sh3/sh3/pmap.c

578

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

sys/arch/sh3/sh3/pmap.c

588

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

sys/arch/sh3/sh3/pmap.c

589

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

sys/arch/sh3/sh3/pmap.c

602

KDASSERT(*pte == 0);

sys/arch/sh3/sh3/pmap.c

614

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

sys/arch/sh3/sh3/pmap.c

615

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

sys/arch/sh3/sh3/pmap.c

616

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

sys/arch/sh3/sh3/pmap.c

620

KDASSERT(pte != NULL);

sys/arch/sh3/sh3/pmap.c

723

KDASSERT(pmap);

sys/arch/sh3/sh3/pmap.c

737

KDASSERT(pte != NULL);

sys/arch/sh3/sh3/pmap.c

738

KDASSERT(*pte != 0);

sys/arch/sh3/sh3/vm_machdep.c

143

KDASSERT(l1 == curlwp || l1 == &lwp0);

sys/arch/vax/vax/machdep.c

537

KDASSERT(iospace_inited);

sys/arch/x86/include/intr.h

169

#define SPL_ASSERT_BELOW(x) KDASSERT(curcpu()->ci_ilevel < (x))

sys/arch/x86/x86/cpu.c

954

KDASSERT((ci->ci_flags & CPUF_PRESENT) == 0);

sys/arch/x86/x86/ipi.c

161

KDASSERT((pending >> X86_NIPI) == 0);

sys/arch/x86/x86/lapic.c

172

KDASSERT(reg == LAPIC_ICRLO);

sys/arch/xen/x86/xen_ipi.c

104

KDASSERT((pending >> XEN_NIPIS) == 0);

sys/dev/acpi/acpi_cpu.c

400

KDASSERT((uint64_t)obj->Processor.PblkAddress < UINT32_MAX);

sys/dev/acpi/acpi_power.c

268

KDASSERT((uint64_t)val < INT_MAX);

sys/dev/acpi/acpi_power.c

582

KDASSERT((uint64_t)val < INT_MAX);

sys/dev/acpi/wmi/wmi_hp.c

390

KDASSERT(cmd != 0);

sys/dev/acpi/wmi/wmi_hp.c

391

KDASSERT(sc->sc_arg[0] == WMI_HP_METHOD_ARG_MAGIC);

sys/dev/acpi/wmi/wmi_hp.c

529

KDASSERT(sc->sc_sme == NULL);

sys/dev/acpi/wmi/wmi_hp.c

530

KDASSERT(sc->sc_sensor != NULL);

sys/dev/cgd.c

944

KDASSERT(sc);

sys/dev/hyperv/hvkbd.c

459

KDASSERT(i <= *len);

sys/dev/hyperv/if_hvn.c

4832

KDASSERT(m->m_pkthdr.len >= sizeof(eh));

sys/dev/hyperv/if_hvn.c

4835

KDASSERT(m != NULL);

sys/dev/ic/elinkxl.c

1172

KDASSERT((mb_head->m_pkthdr.csum_flags &

sys/dev/ic/icp.c

1278

KDASSERT(icp->icp_qfreeze != 0);

sys/dev/ic/icp.c

711

KDASSERT(icp->icp_running != 0);

sys/dev/ic/smc91cxx.c

208

KDASSERT((mask & IM_ERCV_INT) == 0);

sys/dev/ic/smc91cxx.c

214

KDASSERT(!(bus_space_read_1(bst, bsh, INTR_MASK_REG_B) & IM_ERCV_INT));

sys/dev/ic/smc91cxx.c

226

KDASSERT(!(bus_space_read_1(bst, bsh, INTR_MASK_REG_B) & IM_ERCV_INT));

sys/dev/ic/smc91cxx.c

881

KDASSERT(mask == sc->sc_intmask);

sys/dev/kloader.c

406

KDASSERT(kloader.cur_pg);

sys/dev/kloader.c

470

KDASSERT(pg != NULL);

sys/dev/kloader.c

506

KDASSERT(tag != NULL);

sys/dev/kloader.c

531

KDASSERT(tag != NULL);

sys/dev/kloader.c

555

KDASSERT(tag != NULL);

sys/dev/mii/micphy.c

350

KDASSERT(wval == rval);

sys/dev/pci/cmpci.c

257

KDASSERT(no != CMPCI_REG_MISC);

sys/dev/pci/cmpci.c

269

KDASSERT(no != CMPCI_REG_MISC);

sys/dev/pci/if_bge.c

5034

KDASSERT(!M_READONLY(last));

sys/dev/pci/if_bge.c

5035

KDASSERT(M_TRAILINGSPACE(last) >= padlen);

sys/dev/pci/if_sip.c

1514

KDASSERT(ifp->if_capenable & IFCAP_CSUM_IPv4_Tx);

sys/dev/pci/if_sip.c

1519

KDASSERT(ifp->if_capenable & IFCAP_CSUM_TCPv4_Tx);

sys/dev/pci/if_sip.c

1523

KDASSERT(ifp->if_capenable & IFCAP_CSUM_UDPv4_Tx);

sys/dev/pci/if_ti.c

1008

KDASSERT(dma != NULL);

sys/dev/pci/if_ti.c

2077

KDASSERT(dma != NULL);

sys/dev/pci/if_ti.c

2122

KDASSERT(dma != NULL);

sys/dev/scsipi/scsipi_base.h

99

KDASSERT(mutex_owned(chan_mtx(periph->periph_channel)));

sys/dev/usb/ucom.c

2030

KDASSERT(cp == ub->ub_data);

sys/fs/sysvbfs/sysvbfs_vnops.c

150

KDASSERT(a->a_vap->va_type == VREG);

sys/fs/sysvbfs/sysvbfs_vnops.c

191

KDASSERT(v->v_type == VREG || v->v_type == VDIR);

sys/fs/sysvbfs/sysvbfs_vnops.c

575

KDASSERT(fvp->v_type == VREG);

sys/fs/sysvbfs/sysvbfs_vnops.c

576

KDASSERT(tvp == NULL ? true : tvp->v_type == VREG);

sys/fs/sysvbfs/sysvbfs_vnops.c

634

KDASSERT(vp->v_type == VDIR);

sys/fs/sysvbfs/sysvbfs_vnops.c

770

KDASSERT(v->v_type == VREG);

sys/fs/v7fs/v7fs_inode.c

119

KDASSERT(sb->nfreeinode <= V7FS_MAX_FREEINODE);

sys/fs/v7fs/v7fs_vfsops.c

127

KDASSERT(v7fsmount);

sys/fs/v7fs/v7fs_vnops.c

1138

KDASSERT(vp->v_type == VREG);

sys/fs/v7fs/v7fs_vnops.c

1241

KDASSERT(vp->v_size == v7fs_inode_filesize(inode));

sys/fs/v7fs/v7fs_vnops.c

1342

KDASSERT(vp->v_type == VLNK);

sys/fs/v7fs/v7fs_vnops.c

1343

KDASSERT(uio->uio_offset >= 0);

sys/fs/v7fs/v7fs_vnops.c

1344

KDASSERT(v7fs_inode_islnk(inode));

sys/fs/v7fs/v7fs_vnops.c

218

KDASSERT((va->va_type == VREG) || (va->va_type == VSOCK));

sys/fs/v7fs/v7fs_vnops.c

901

KDASSERT(vp->v_type == VDIR);

sys/fs/v7fs/v7fs_vnops.c

998

KDASSERT(vp->v_type == VDIR);

sys/fs/v7fs/v7fs_vnops.c

999

KDASSERT(v7fs_inode_isdir(inode));

sys/kern/bufq_priocscan.c

160

KDASSERT(bp == NULL || cscan_tree_compare_key(q, bp, key) >= 0);

sys/kern/bufq_priocscan.c

163

KDASSERT(cscan_tree_compare_key(q, bp, key) < 0);

sys/kern/bufq_priocscan.c

380

KDASSERT(!cscan_empty(&pq->q_queue));

sys/kern/bufq_priocscan.c

388

KDASSERT(bp != NULL);

sys/kern/bufq_priocscan.c

389

KDASSERT(&pq->q_queue == bufq_priocscan_selectqueue(q, bp));

sys/kern/kern_exec.c

1221

KDASSERT(p->p_nlwps == 1);

sys/kern/kern_ktrace.c

274

KDASSERT(ktd->ktd_ref != 0);

sys/kern/kern_mutex.c

523

KDASSERT(pserialize_not_in_read_section());

sys/kern/kern_rwlock.c

303

KDASSERT(pserialize_not_in_read_section());

sys/kern/kern_tc.c

189

KDASSERT(mutex_owned(&timecounter_lock));

sys/kern/subr_copy.c

148

KDASSERT(cnt <= n);

sys/kern/subr_copy.c

222

KDASSERT(cnt <= n);

sys/kern/subr_copy.c

254

KDASSERT(cnt <= n);

sys/kern/subr_kmem.c

257

KDASSERT((INDEX) < __arraycount(ARRAY)); \

sys/kern/subr_localcount.c

255

KDASSERT(mutex_ownable(interlock));

sys/kern/subr_pool.c

1305

KDASSERT(ph->ph_nmissing != 0);

sys/kern/tty.c

546

KDASSERT(mutex_ownable(&tty_lock));

sys/kern/uipc_mbuf.c

1496

KDASSERT(off + len <= m_length(m0));

sys/kern/uipc_socket2.c

890

KDASSERT(m->m_nextpkt == NULL);

sys/kern/vfs_bio.c

1073

KDASSERT(checkfreelist(bp, &bufqueues[BQ_LRU], 1));

sys/kern/vfs_bio.c

1080

KDASSERT(checkfreelist(bp, &bufqueues[BQ_AGE], 0));

sys/kern/vfs_bio.c

1081

KDASSERT(checkfreelist(bp, &bufqueues[BQ_LRU], 0));

sys/kern/vfs_bio.c

1082

KDASSERT(checkfreelist(bp, &bufqueues[BQ_LOCKED], 0));

sys/kern/vfs_bio.c

401

KDASSERT(checkfreelist(bp, dp, 1));

sys/kern/vfs_wapbl.c

1164

KDASSERT(((len >> wl->wl_log_dev_bshift) << wl->wl_log_dev_bshift) ==

sys/kern/vfs_wapbl.c

1209

KDASSERT(wl);

sys/kern/vfs_wapbl.c

1583

KDASSERT(wl->wl_reserved_bytes <=

sys/kern/vfs_wapbl.c

1655

KDASSERT(bp->b_oflags & BO_DONE);

sys/kern/vfs_wapbl.c

1656

KDASSERT(!(bp->b_oflags & BO_DELWRI));

sys/kern/vfs_wapbl.c

1657

KDASSERT(bp->b_flags & B_ASYNC);

sys/kern/vfs_wapbl.c

1658

KDASSERT(bp->b_cflags & BC_BUSY);

sys/kern/vfs_wapbl.c

1659

KDASSERT(!(bp->b_flags & B_LOCKED));

sys/kern/vfs_wapbl.c

1660

KDASSERT(!(bp->b_flags & B_READ));

sys/kern/vfs_wapbl.c

1661

KDASSERT(!(bp->b_cflags & BC_INVAL));

sys/kern/vfs_wapbl.c

1662

KDASSERT(!(bp->b_cflags & BC_NOCACHE));

sys/kern/vfs_wapbl.c

1716

KDASSERT(we->we_unsynced_bufbytes == 0);

sys/kern/vfs_wapbl.c

1916

KDASSERT(wl->wl_dealloccnt == 0);

sys/kern/vfs_wapbl.c

3087

KDASSERT(!wapbl_replay_isopen(wr));

sys/kern/vfs_wapbl.c

3275

KDASSERT(wapbl_replay_isopen(wr));

sys/kern/vfs_wapbl.c

3398

KDASSERT(wapbl_replay_isopen(wr));

sys/kern/vfs_wapbl.c

3424

KDASSERT(wapbl_replay_isopen(wr));

sys/kern/vfs_wapbl.c

3441

KDASSERT(wapbl_replay_isopen(wr));

sys/kern/vfs_wapbl.c

465

KDASSERT(!wapbl_replay_isopen(wr));

sys/kern/vfs_wapbl.c

482

KDASSERT(wapbl_transaction_len(wl) <=

sys/net/agr/ieee8023ad_lacp.c

209

KDASSERT(MHLEN >= sizeof(*du));

sys/net/if.h

1401

KDASSERT(mutex_ownable((ifp)->if_ioctl_lock))

sys/netipsec/key.c

1431

KDASSERT(mutex_ownable(&key_spd.lock));

sys/netipsec/key.c

1474

KDASSERT(mutex_ownable(&key_sad.lock));

sys/netipsec/key.c

1589

KDASSERT(mutex_ownable(softnet_lock));

sys/netipsec/key.c

1622

KDASSERT(mutex_ownable(softnet_lock));

sys/netipsec/key.c

3253

KDASSERT(mutex_ownable(softnet_lock));

sys/netipsec/key.c

3416

KDASSERT(mutex_ownable(&key_sad.lock));

sys/netipsec/key.c

915

KDASSERT(mutex_ownable(softnet_lock));

sys/nfs/nfs_bio.c

1296

KDASSERT(pgs[i] == NULL || pgs[i] == PGO_DONTCARE);

sys/nfs/nfs_subs.c

1575

KDASSERT(count >= len);

sys/nfs/nfs_subs.c

1598

KDASSERT(m->m_next == NULL);

sys/nfs/nfs_subs.c

1610

KDASSERT(MLEN >= nul);

sys/ufs/ext2fs/ext2fs_inode.c

315

KDASSERT(length == 0);

sys/ufs/ffs/ffs_inode.c

293

KDASSERT(length == 0);

sys/ufs/ffs/ffs_vfsops.c

1572

KDASSERT(fs->fs_ronly == 0);

sys/ufs/ffs/ffs_vfsops.c

1800

KDASSERT(fs->fs_ronly);

sys/ufs/ffs/ffs_wapbl.c

122

KDASSERT((mp->mnt_flag & MNT_RDONLY) == 0);

sys/ufs/ffs/ffs_wapbl.c

136

KDASSERT(wr->wr_inodes[i].wr_inumber == ip->i_number);

sys/ufs/ffs/ffs_wapbl.c

331

KDASSERT(fs->fs_ronly == 0);

sys/ufs/ffs/ffs_wapbl.c

443

KDASSERT(fs->fs_ronly == 0);

sys/ufs/ffs/ffs_wapbl.c

589

KDASSERT(secsize != 0);

sys/ufs/lfs/lfs_bio.c

541

KDASSERT(fs == NULL || !LFS_SEGLOCK_HELD(fs));

sys/ufs/lfs/lfs_pages.c

503

KDASSERT(pg ==

sys/ufs/lfs/lfs_segment.c

2135

KDASSERT(lfs_fi_getnblocks(fs, fip) > 0);

sys/ufs/lfs/lfs_segment.c

2136

KDASSERT(lfs_fi_getversion(fs, fip) > 0);

sys/ufs/lfs/lfs_syscalls.c

1057

KDASSERT(bp->b_iodone == lfs_free_aiodone);

sys/uvm/uvm_bio.c

579

KDASSERT(flags & UBC_WRITE);

sys/uvm/uvm_km.c

565

KDASSERT(VM_MAP_IS_KERNEL(map));

sys/uvm/uvm_km.c

566

KDASSERT(vm_map_min(map) <= start);

sys/uvm/uvm_km.c

567

KDASSERT(start < end);

sys/uvm/uvm_km.c

568

KDASSERT(end <= vm_map_max(map));

sys/uvm/uvm_loan.c

1037

KDASSERT(uobj == &uvm_loanzero_object);

sys/uvm/uvm_map.c

1623

KDASSERT(merged);

sys/uvm/uvm_map.c

1736

KDASSERT((*entry)->start <= address);

sys/uvm/uvm_map.c

1737

KDASSERT(address < (*entry)->end);

sys/uvm/uvm_map.c

1744

KDASSERT((*entry) == &map->header || (*entry)->end <= address);

sys/uvm/uvm_map.c

1745

KDASSERT((*entry)->next == &map->header ||

sys/uvm/uvm_map.c

2058

KDASSERT((flags & UVM_FLAG_FIXED) == 0);

sys/uvm/uvm_map.c

2089

KDASSERT((flags & UVM_FLAG_FIXED) == 0);

sys/uvm/uvm_map.c

416

KDASSERT(parent->gap == uvm_rb_gap(parent));

sys/uvm/uvm_map.c

427

KDASSERT(brother->gap == uvm_rb_gap(brother));

sys/uvm/uvm_page_array.c

200

KDASSERT(pg->uobject == uobj);

sys/uvm/uvm_page_array.c

202

KDASSERT(pg->offset <= off);

sys/uvm/uvm_page_array.c

203

KDASSERT(i == 0 ||

sys/uvm/uvm_page_array.c

206

KDASSERT(pg->offset >= off);

sys/uvm/uvm_page_array.c

207

KDASSERT(i == 0 ||

sys/uvm/uvm_pglist.c

245

KDASSERT(VM_PAGE_IS_FREE(uvm_physseg_get_pg(psi, candidateidx + skip)));

sys/uvm/uvm_swap.c

1986

KDASSERT(swapdrum_sdp_is(s, sdp));

sys/uvm/uvm_swap.c

2030

KDASSERT(swapdrum_sdp_is(s, sdp));