sys/arch/octeon/dev/if_ogx.c

980

KASSERTMSG((paddr_t)m->m_pkthdr.ph_cookie == pktbuf,

sys/arch/riscv64/dev/riscv_cpu_intc.c

113

KASSERTMSG(_frame->tf_scause & EXCP_INTR,

sys/arch/riscv64/riscv64/sbi.c

169

KASSERTMSG(sbi_probe_extension(SBI_SET_TIMER) != 0,

sys/arch/riscv64/riscv64/sbi.c

171

KASSERTMSG(sbi_probe_extension(SBI_CONSOLE_PUTCHAR) != 0,

sys/arch/riscv64/riscv64/sbi.c

173

KASSERTMSG(sbi_probe_extension(SBI_CONSOLE_GETCHAR) != 0,

sys/arch/riscv64/riscv64/sbi.c

175

KASSERTMSG(sbi_probe_extension(SBI_CLEAR_IPI) != 0,

sys/arch/riscv64/riscv64/sbi.c

177

KASSERTMSG(sbi_probe_extension(SBI_SEND_IPI) != 0,

sys/arch/riscv64/riscv64/sbi.c

179

KASSERTMSG(sbi_probe_extension(SBI_REMOTE_FENCE_I) != 0,

sys/arch/riscv64/riscv64/sbi.c

181

KASSERTMSG(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA) != 0,

sys/arch/riscv64/riscv64/sbi.c

183

KASSERTMSG(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA_ASID) != 0,

sys/arch/riscv64/riscv64/sbi.c

185

KASSERTMSG(sbi_probe_extension(SBI_SHUTDOWN) != 0,

sys/arch/riscv64/riscv64/trap.c

123

KASSERTMSG((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) == 0,

sys/arch/riscv64/riscv64/trap.c

126

KASSERTMSG((csr_read(sstatus) & (SSTATUS_SUM)) == 0,

sys/arch/riscv64/riscv64/trap.c

70

KASSERTMSG((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) ==

sys/arch/riscv64/riscv64/trap.c

73

KASSERTMSG((csr_read(sstatus) & (SSTATUS_SUM)) == 0,

sys/arch/sparc64/dev/iommu.c

691

KASSERTMSG(map->dm_nsegs == 0, "map still in use");

sys/arch/sparc64/dev/iommu.c

896

KASSERTMSG(map->dm_nsegs == 0, "map still in use");

sys/dev/fdt/bcm2835_sdhost.c

568

KASSERTMSG((sc->sc_cblk[seg].cb_txfr_len & 0x3) == 0,

sys/dev/kstat.c

254

KASSERTMSG(ks->ks_datalen == klen,

sys/dev/kstat.c

618

KASSERTMSG(ks->ks_copy != NULL || ks->ks_data != NULL,

sys/dev/kstat.c

633

KASSERTMSG(ks->ks_state == KSTAT_S_INSTALLED,

sys/dev/usb/dwc2/dwc2.c

1180

KASSERTMSG(xfer->nframes == 0 || xfertype == UE_ISOCHRONOUS,

sys/dev/usb/dwc2/dwc2.c

478

KASSERTMSG((xfer->status == USBD_CANCELLED ||

sys/dev/usb/uhidev.c

282

KASSERTMSG(nclaimed > 0, "%s did not claim any report ids",

sys/kern/kern_descrip.c

1239

KASSERTMSG(fp->f_count >= 2, "count (%u) < 2", fp->f_count);

sys/kern/kern_descrip.c

1273

KASSERTMSG(fp->f_count == 0, "count (%u) != 0", fp->f_count);

sys/kern/kern_intrmap.c

144

KASSERTMSG(maxintrs > 0, "invalid maximum interrupt count %u",

sys/kern/kern_intrmap.c

161

KASSERTMSG(grid > 0, "invalid if_ringmap grid %u", grid);

sys/kern/kern_intrmap.c

162

KASSERTMSG(grid >= im->im_count, "invalid intrmap grid %u, count %u",

sys/kern/kern_intrmap.c

169

KASSERTMSG(cpumap[i] < ic->ic_count,

sys/kern/kern_intrmap.c

234

KASSERTMSG(ring < im->im_count, "invalid ring %u", ring);

sys/kern/kern_intrmap.c

236

KASSERTMSG(icpu < ic->ic_count, "invalid interrupt cpu %u for ring %u"

sys/kern/kern_physio.c

130

KASSERTMSG(todo >= 0, "minphys broken");

sys/kern/kern_physio.c

190

KASSERTMSG(bp->b_resid <= LONG_MAX, "strategy broken");

sys/kern/kern_physio.c

192

KASSERTMSG(done >= 0, "strategy broken");

sys/kern/kern_physio.c

193

KASSERTMSG(done <= todo, "strategy broken");

sys/kern/kern_rwlock.c

455

KASSERTMSG(ISSET(flags, RW_NOSLEEP), "RW_UPGRADE without RW_NOSLEEP");

sys/kern/kern_rwlock.c

733

KASSERTMSG(mo->ro_magic == RWLOCK_OBJ_MAGIC,

sys/kern/kern_rwlock.c

736

KASSERTMSG(mo->ro_refcnt > 0,

sys/kern/kern_rwlock.c

754

KASSERTMSG(mo->ro_magic == RWLOCK_OBJ_MAGIC,

sys/kern/kern_rwlock.c

757

KASSERTMSG(mo->ro_refcnt > 0,

sys/kern/subr_witness.c

1173

KASSERTMSG(witness_cold == 0, "%s: witness_cold", __func__);

sys/kern/subr_witness.c

1214

KASSERTMSG(witness_cold == 0, "%s: witness_cold", __func__);

sys/kern/subr_witness.c

2159

KASSERTMSG(witness_cold == 0, "%s: witness_cold", __func__);

sys/kern/subr_witness.c

2160

KASSERTMSG(db_active, "%s: not in the debugger", __func__);

sys/kern/subr_witness.c

2454

KASSERTMSG(witness_hash_get(w->w_type, w->w_subtype) == NULL,

sys/kern/subr_witness.c

2456

KASSERTMSG(SLIST_NEXT(w, w_hash_next) == NULL,

sys/kern/subr_witness.c

511

KASSERTMSG(SLIST_FIRST(&w_free)->w_index == 0,

sys/kern/subr_witness.c

546

KASSERTMSG(lock->lo_flags & LO_WITNESS,

sys/kern/subr_witness.c

701

KASSERTMSG(witness_cold == 0, "%s: witness_cold", __func__);

sys/kern/subr_witness.c

958

KASSERTMSG((lock1->li_lock->lo_flags &

sys/kern/sys_process.c

563

KASSERTMSG(0, "%s: unhandled request %d", __func__, req);

sys/kern/sys_process.c

635

KASSERTMSG(0, "%s: unhandled request %d", __func__, req);

sys/kern/sys_process.c

800

KASSERTMSG(0, "%s: unhandled request %d", __func__, req);

sys/net/if.c

444

KASSERTMSG(index != 0 && index < if_idxmap_limit(if_map),

sys/net/if.c

668

KASSERTMSG(ifp->if_qstart == NULL,

sys/net/if.c

672

KASSERTMSG(ifp->if_start == NULL,

sys/net/if.c

674

KASSERTMSG(ifp->if_qstart != NULL,

sys/net/if_aggr.c

1468

KASSERTMSG(ep != NULL,

sys/net/if_aggr.c

1471

KASSERTMSG(ep->ep_input == aggr_port_input,

sys/net/if_etherbridge.c

215

KASSERTMSG(rvebe == NULL, "ebt_replace eb %p nebe %p rvebe %p",

sys/net/if_ethersubr.c

1721

KASSERTMSG(ep != NULL, "%s: NULL pcb on socket %p", __func__, so);

sys/net/if_ethersubr.c

625

KASSERTMSG(SMR_PTR_GET_LOCKED(&ac->ac_brport) == NULL,

sys/net/if_ethersubr.c

637

KASSERTMSG(SMR_PTR_GET_LOCKED(&ac->ac_brport) != NULL,

sys/net/if_pfsync.c

1149

KASSERTMSG(SMR_PTR_GET_LOCKED(&pfsyncif) == sc,

sys/net/if_tpmr.c

682

KASSERTMSG(ep != NULL,

sys/net/if_tpmr.c

685

KASSERTMSG(ep->ep_input == tpmr_input,

sys/net/if_veb.c

3118

KASSERTMSG(ep != NULL,

sys/net/if_veb.c

3121

KASSERTMSG((ep->ep_input == veb_port_input) ||

sys/net/pf.c

2111

KASSERTMSG(stlim != NULL,

sys/net/pf.c

2127

KASSERTMSG(srlim != NULL,

sys/net/pf.c

2137

KASSERTMSG(sr != NULL,

sys/net/pipex.c

711

KASSERTMSG((session->flags & PIPEX_SFLAGS_PPPX) == 0,