sys/arch/arm/arm32/pmap.c

3966

KDASSERTMSG(mappings <= l2b->l2b_occupancy, "%u %u",

sys/arch/arm/cortex/gic.c

399

KDASSERTMSG(n < 5, "%s: processed too many (%zu)",

sys/dev/usb/usb_mem.c

303

KDASSERTMSG(usb_valid_block_p(f->ufd_block, &usb_blk_fraglist),

sys/dev/usb/usb_mem.c

355

KDASSERTMSG(usb_valid_block_p(p->udma_block, &usb_blk_fulllist),

sys/dev/usb/usb_mem.c

363

KDASSERTMSG(usb_valid_block_p(p->udma_block, &usb_blk_fraglist),

sys/dev/usb/usbdi.c

1184

KDASSERTMSG(xfer->ux_actlen <= xfer->ux_length,

sys/netipsec/key.c

1383

KDASSERTMSG(sav->lft_c->sadb_lifetime_addtime <=

sys/ufs/ffs/ffs_inode.c

158

KDASSERTMSG(DIP(ip, nlink) == ip->i_nlink,

sys/ufs/lfs/lfs_subr.c

264

KDASSERTMSG(fs->lfs_resblk[i].p == p,

sys/uvm/pmap/pmap_tlb.c

1107

KDASSERTMSG(asid == curcpu()->ci_pmap_asid_cur,

sys/uvm/uvm_pglist.c

575

KDASSERTMSG(bank == psi,

sys/uvm/uvm_pglist.c

578

KDASSERTMSG(cidx == candidate - uvm_physseg_get_start(psi),