KASSERT 112 arch/i386/i386/gdt.c KASSERT(sel < gdt_size);
KASSERT 294 arch/i386/i386/kvm86.c KASSERT(tf->tf_eflags & PSL_VM);
KASSERT 848 arch/i386/isa/npx.c KASSERT(ci->ci_fpcurproc == p);
KASSERT 107 arch/i386/pci/pci_addr_fixup.c KASSERT(sc->extent_mem);
KASSERT 110 arch/i386/pci/pci_addr_fixup.c KASSERT(sc->extent_port);
KASSERT 501 dev/ic/aic6915.c KASSERT(last != -1);
KASSERT 750 dev/ic/aic6915.c KASSERT(sc->sc_txpending >= 0);
KASSERT 5977 dev/ic/aic79xx.c KASSERT(scb_data->scbs_left >= 0);
KASSERT 6109 dev/ic/aic79xx.c KASSERT((vaddr_t)hscb >= (vaddr_t)hscb_map->vaddr &&
KASSERT 1275 dev/ic/ath.c KASSERT(pktlen <= MCLBYTES, ("802.11 packet too large: %u", pktlen));
KASSERT 1335 dev/ic/ath.c KASSERT(bf->bf_nseg == 1,
KASSERT 1359 dev/ic/ath.c KASSERT(rt != NULL, ("no rate table, mode %u", sc->sc_curmode));
KASSERT 1840 dev/ic/ath.c KASSERT(bf->bf_nseg == 1,
KASSERT 2229 dev/ic/ath.c KASSERT(bf->bf_nseg == 1,
KASSERT 2251 dev/ic/ath.c KASSERT(rt != NULL, ("no rate table, mode %u", sc->sc_curmode));
KASSERT 3142 dev/ic/ath.c KASSERT(rt != NULL, ("no h/w rate set for phy mode %u", mode));
KASSERT 1977 dev/ic/atw.c KASSERT((addr & ~PRESHIFT(SI4126_TWI_ADDR_MASK)) == 0);
KASSERT 1978 dev/ic/atw.c KASSERT((val & ~PRESHIFT(SI4126_TWI_DATA_MASK)) == 0);
KASSERT 2017 dev/ic/atw.c KASSERT((addr & ~PRESHIFT(SI4126_TWI_ADDR_MASK)) == 0);
KASSERT 2177 dev/ic/atw.c KASSERT(ofs % 2 == 0 && buflen % 2 == 0);
KASSERT 2179 dev/ic/atw.c KASSERT(buflen + ofs <= sc->sc_sramlen);
KASSERT 1386 dev/ic/re.c KASSERT(idx == sc->rl_ldata.rl_txq_prodidx);
KASSERT 1396 dev/ic/re.c KASSERT((txstat & RL_TDESC_CMD_EOF) != 0);
KASSERT 1401 dev/ic/re.c KASSERT(sc->rl_ldata.rl_tx_free <= RL_TX_DESC_CNT(sc));
KASSERT 1668 dev/ic/re.c KASSERT(lastidx != -1);
KASSERT 1733 dev/ic/re.c KASSERT(idx == sc->rl_ldata.rl_txq_considx);
KASSERT 314 dev/ic/rtw.c KASSERT(naccess >= RTW_ACCESS_NONE && naccess <= RTW_ACCESS_ANAPARM);
KASSERT 315 dev/ic/rtw.c KASSERT(regs->r_access >= RTW_ACCESS_NONE &&
KASSERT 929 dev/ic/rtw.c KASSERT(nsync <= rdb->rdb_ndesc);
KASSERT 939 dev/ic/rtw.c KASSERT(desc0 < rdb->rdb_ndesc);
KASSERT 940 dev/ic/rtw.c KASSERT(nsync <= rdb->rdb_ndesc);
KASSERT 941 dev/ic/rtw.c KASSERT(desc0 + nsync <= rdb->rdb_ndesc);
KASSERT 1030 dev/ic/rtw.c KASSERT(rs->rs_mbuf == NULL);
KASSERT 1147 dev/ic/rtw.c KASSERT(rdb->rdb_next < rdb->rdb_ndesc);
KASSERT 1347 dev/ic/rtw.c KASSERT(rdb->rdb_next < rdb->rdb_ndesc);
KASSERT 1370 dev/ic/rtw.c KASSERT(m != NULL);
KASSERT 1371 dev/ic/rtw.c KASSERT(ni != NULL);
KASSERT 1463 dev/ic/rtw.c KASSERT(ndesc > 0);
KASSERT 2167 dev/ic/rtw.c KASSERT(ic->ic_bss->ni_chan != NULL);
KASSERT 2185 dev/ic/rtw.c KASSERT((sc->sc_flags & RTW_F_ENABLED) != 0);
KASSERT 2722 dev/ic/rtw.c KASSERT(pri >= 0 && pri < RTW_NTXPRI);
KASSERT 3239 dev/ic/rtw.c KASSERT(ts->ts_first < tdb->tdb_ndesc);
KASSERT 3289 dev/ic/rtw.c KASSERT(desc < tdb->tdb_ndesc);
KASSERT 4316 dev/ic/rtw.c KASSERT(val == expected_val);
KASSERT 4797 dev/ic/rtw.c KASSERT((addr & ~PRESHIFT(RTW_BB_ADDR_MASK)) == 0);
KASSERT 4798 dev/ic/rtw.c KASSERT((val & ~PRESHIFT(RTW_BB_WR_MASK)) == 0);
KASSERT 4837 dev/ic/rtw.c KASSERT(nbits <= 32);
KASSERT 4879 dev/ic/rtw.c KASSERT((reg & RTW8180_PHYCFG_HST_CLK) == 0);
KASSERT 5028 dev/ic/rtw.c KASSERT((addr & ~PRESHIFT(SA2400_TWI_ADDR_MASK)) == 0);
KASSERT 5029 dev/ic/rtw.c KASSERT((val & ~PRESHIFT(SA2400_TWI_DATA_MASK)) == 0);
KASSERT 5036 dev/ic/rtw.c KASSERT((addr & ~PRESHIFT(SI4126_TWI_ADDR_MASK)) == 0);
KASSERT 5037 dev/ic/rtw.c KASSERT((val & ~PRESHIFT(SI4126_TWI_DATA_MASK)) == 0);
KASSERT 5043 dev/ic/rtw.c KASSERT((addr & ~PRESHIFT(SI4126_TWI_ADDR_MASK)) == 0);
KASSERT 5044 dev/ic/rtw.c KASSERT((val & ~PRESHIFT(SI4126_TWI_DATA_MASK)) == 0);
KASSERT 5076 dev/ic/rtw.c KASSERT((val & ~(RTW_MAXIM_LODATA_MASK|RTW_MAXIM_HIDATA_MASK)) == 0);
KASSERT 5102 dev/ic/rtw.c KASSERT((addr &
KASSERT 5104 dev/ic/rtw.c KASSERT((val &
KASSERT 276 dev/ic/sili.c KASSERT(ccb->ccb_xa.state == ATA_S_ONCHIP);
KASSERT 290 dev/ic/sili.c KASSERT(ccb->ccb_xa.state == ATA_S_ONCHIP);
KASSERT 306 dev/ic/sili.c KASSERT(ccb->ccb_xa.state == ATA_S_ONCHIP);
KASSERT 353 dev/ic/sili.c KASSERT(ccb->ccb_xa.state == ATA_S_ONCHIP);
KASSERT 356 dev/ic/sili.c KASSERT(pss_masked == 0);
KASSERT 366 dev/ic/sili.c KASSERT(ccb->ccb_xa.state == ATA_S_COMPLETE ||
KASSERT 526 dev/ic/sili.c KASSERT(ccb->ccb_xa.state == ATA_S_PUT);
KASSERT 799 dev/ic/sili.c KASSERT(xa->state == ATA_S_SETUP);
KASSERT 1015 dev/ic/sili.c KASSERT(ccb->ccb_xa.state == ATA_S_PENDING);
KASSERT 1262 dev/ic/vga.c KASSERT(VGA_SCREEN_CANTWOFONTS(scr->pcs.type));
KASSERT 1434 dev/pci/ahci.c KASSERT(ccb->ccb_xa.state == ATA_S_PENDING);
KASSERT 1457 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 0);
KASSERT 1483 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 0);
KASSERT 1511 dev/pci/ahci.c KASSERT(last_was_ncq == 0); /* otherwise it should have
KASSERT 1520 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 1);
KASSERT 1523 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 0);
KASSERT 1540 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 1);
KASSERT 1544 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 1 || ap->ap_active_cnt == 2);
KASSERT 1549 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 0);
KASSERT 1617 dev/pci/ahci.c KASSERT(ap->ap_active == 0);
KASSERT 1618 dev/pci/ahci.c KASSERT(ap->ap_active_cnt == 0);
KASSERT 1714 dev/pci/ahci.c KASSERT(ccb->ccb_xa.state == ATA_S_ONCHIP);
KASSERT 1724 dev/pci/ahci.c KASSERT(tmp == 0);
KASSERT 1813 dev/pci/ahci.c KASSERT(ccb->ccb_xa.state == ATA_S_ONCHIP);
KASSERT 1814 dev/pci/ahci.c KASSERT((!!(ccb->ccb_xa.flags & ATA_F_NCQ)) ==
KASSERT 1838 dev/pci/ahci.c KASSERT(ccb->ccb_xa.state == ATA_S_PUT);
KASSERT 1877 dev/pci/ahci.c KASSERT(ahci_pread(ap, AHCI_PREG_CI) == 0);
KASSERT 1880 dev/pci/ahci.c KASSERT(ap->ap_err_busy == 0);
KASSERT 1899 dev/pci/ahci.c KASSERT(err_ccb != NULL);
KASSERT 1915 dev/pci/ahci.c KASSERT(ap->ap_err_busy);
KASSERT 1921 dev/pci/ahci.c KASSERT(ahci_pread(ap, AHCI_PREG_CI) == 0);
KASSERT 1951 dev/pci/ahci.c KASSERT((cmd & AHCI_PREG_CMD_CR) == 0);
KASSERT 2202 dev/pci/ahci.c KASSERT(xa->state == ATA_S_SETUP);
KASSERT 2684 dev/pci/if_bge.c KASSERT(prev != NULL /*, ("runt but null PREV")*/);
KASSERT 2685 dev/pci/if_bge.c KASSERT(prev->m_len >= 8 /*, ("runt prev")*/);
KASSERT 2695 dev/pci/if_bge.c KASSERT(m->m_len + shortfall < MLEN
KASSERT 972 dev/pci/if_cas.c KASSERT((CAS_CDTXADDR(sc, 0) & 0x1fff) == 0);
KASSERT 977 dev/pci/if_cas.c KASSERT((CAS_CDRXADDR(sc, 0) & 0x1fff) == 0);
KASSERT 982 dev/pci/if_cas.c KASSERT((CAS_CDRXCADDR(sc, 0) & 0x1fff) == 0);
KASSERT 1010 dev/pci/if_pcn.c KASSERT(lasttx != -1);
KASSERT 989 dev/pci/if_stge.c KASSERT(sc->sc_rxhead == NULL);
KASSERT 990 dev/pci/if_stge.c KASSERT(sc->sc_rxtailp == &sc->sc_rxhead);
KASSERT 2031 dev/pci/if_wpi.c KASSERT(size <= sizeof cmd->data);
KASSERT 335 dev/sdmmc/sdmmc_io.c KASSERT(TAILQ_EMPTY(&sc->sc_intrq));
KASSERT 723 dev/systrace.c KASSERT(strp->proc == p);
KASSERT 909 dev/usb/ubt.c KASSERT(status != USBD_NORMAL_COMPLETION);
KASSERT 1006 dev/usb/ubt.c KASSERT(status != USBD_NORMAL_COMPLETION);
KASSERT 1158 dev/usb/ubt.c KASSERT(xfer == isoc->xfer);
KASSERT 1287 dev/usb/ubt.c KASSERT(status != USBD_NORMAL_COMPLETION);
KASSERT 1399 dev/usb/ubt.c KASSERT(isoc != NULL);
KASSERT 1400 dev/usb/ubt.c KASSERT(isoc->xfer == xfer);
KASSERT 952 dev/usb/umass.c KASSERT(sc->sc_wire & UMASS_WPROTO_BBB,
KASSERT 1002 dev/usb/umass.c KASSERT(sc->sc_wire & UMASS_WPROTO_BBB,
KASSERT 1035 dev/usb/umass.c KASSERT(datalen == 0 || data != NULL,
KASSERT 1037 dev/usb/umass.c KASSERT(cmdlen <= CBWCDBLENGTH,
KASSERT 1040 dev/usb/umass.c KASSERT(dir == DIR_NONE || datalen > 0,
KASSERT 1043 dev/usb/umass.c KASSERT(datalen == 0 || dir != DIR_NONE,
KASSERT 1046 dev/usb/umass.c KASSERT(sizeof(umass_bbb_cbw_t) == UMASS_BBB_CBW_SIZE,
KASSERT 1050 dev/usb/umass.c KASSERT(sizeof(umass_bbb_csw_t) == UMASS_BBB_CSW_SIZE,
KASSERT 1119 dev/usb/umass.c KASSERT(sc->sc_wire & UMASS_WPROTO_BBB,
KASSERT 1428 dev/usb/umass.c KASSERT(sc->sc_wire & (UMASS_WPROTO_CBI|UMASS_WPROTO_CBI_I),
KASSERT 1448 dev/usb/umass.c KASSERT(sc->sc_wire & (UMASS_WPROTO_CBI|UMASS_WPROTO_CBI_I),
KASSERT 1472 dev/usb/umass.c KASSERT(sizeof(sc->cbl) >= SEND_DIAGNOSTIC_CMDLEN,
KASSERT 1504 dev/usb/umass.c KASSERT(sc->sc_wire & (UMASS_WPROTO_CBI|UMASS_WPROTO_CBI_I),
KASSERT 1534 dev/usb/umass.c KASSERT(datalen == 0 || data != NULL,
KASSERT 1536 dev/usb/umass.c KASSERT(datalen == 0 || dir != DIR_NONE,
KASSERT 1571 dev/usb/umass.c KASSERT(sc->sc_wire & (UMASS_WPROTO_CBI|UMASS_WPROTO_CBI_I),
KASSERT 104 dev/usb/usbf_subr.c KASSERT(dev->function == NULL);
KASSERT 132 dev/usb/usbf_subr.c KASSERT(dev != NULL && dev == up->device);
KASSERT 151 dev/usb/usbf_subr.c KASSERT(up->device == NULL);
KASSERT 1034 dev/usb/usbf_subr.c KASSERT(SIMPLEQ_FIRST(&pipe->queue) == xfer);
KASSERT 1070 dev/usb/usbf_subr.c KASSERT(bus->soft == NULL);
KASSERT 356 dev/wscons/wsdisplay.c KASSERT(scrdata->nscreens > 0);
KASSERT 693 dev/wscons/wsdisplay.c KASSERT(wsdisplay_console_initted);
KASSERT 694 dev/wscons/wsdisplay.c KASSERT(wsdisplay_console_device == NULL);
KASSERT 782 dev/wscons/wsdisplay.c KASSERT(!wsdisplay_console_initted);
KASSERT 783 dev/wscons/wsdisplay.c KASSERT(type->nrows > 0);
KASSERT 784 dev/wscons/wsdisplay.c KASSERT(type->ncols > 0);
KASSERT 785 dev/wscons/wsdisplay.c KASSERT(crow < type->nrows);
KASSERT 786 dev/wscons/wsdisplay.c KASSERT(ccol < type->ncols);
KASSERT 1555 dev/wscons/wsdisplay.c KASSERT(sc != NULL);
KASSERT 1877 dev/wscons/wsdisplay.c KASSERT(sc != NULL);
KASSERT 216 dev/wscons/wsemul_sun.c KASSERT(edp->console == 1);
KASSERT 203 dev/wscons/wsemul_vt100.c KASSERT(edp->console == 1);
KASSERT 417 dev/wscons/wskbd.c KASSERT(wskbd_console_initted);
KASSERT 418 dev/wscons/wskbd.c KASSERT(wskbd_console_device == NULL);
KASSERT 465 dev/wscons/wskbd.c KASSERT(!wskbd_console_initted);
KASSERT 483 dev/wscons/wskbd.c KASSERT(wskbd_console_initted);
KASSERT 572 dev/wscons/wskbd.c KASSERT(wskbd_console_device == sc);
KASSERT 448 dev/wscons/wsmouse.c KASSERT(ev->value >= 0);
KASSERT 96 kern/exec_subr.c KASSERT(ocnt > 0);
KASSERT 977 kern/kern_event.c KASSERT((kn->kn_status & KN_QUEUED) == 0);
KASSERT 992 kern/kern_event.c KASSERT(kn->kn_status & KN_QUEUED);
KASSERT 588 kern/kern_lock.c KASSERT(alp->lock_holder == cpu_id);
KASSERT 681 kern/kern_lock.c KASSERT(alp->lock_holder == CPU_NUMBER());
KASSERT 356 kern/kern_synch.c KASSERT(p->p_cpu != NULL);
KASSERT 226 kern/sched_bsd.c KASSERT(phz);
KASSERT 482 kern/subr_pool.c KASSERT(pp->pr_itemsperpage != 0);
KASSERT 580 kern/subr_pool.c KASSERT(LIST_EMPTY(&pp->pr_fullpages));
KASSERT 581 kern/subr_pool.c KASSERT(LIST_EMPTY(&pp->pr_partpages));
KASSERT 1095 kern/subr_pool.c KASSERT(((((vaddr_t)pi) + ioff) & (align - 1)) == 0);
KASSERT 1270 kern/subr_pool.c KASSERT(ph->ph_nmissing == 0);
KASSERT 1648 kern/subr_pool.c KASSERT(pcg->pcg_avail <= PCG_NOBJECTS);
KASSERT 1649 kern/subr_pool.c KASSERT(pcg->pcg_avail != 0);
KASSERT 1652 kern/subr_pool.c KASSERT(pcg->pcg_objects[idx] != NULL);
KASSERT 1664 kern/subr_pool.c KASSERT(pcg->pcg_avail < PCG_NOBJECTS);
KASSERT 1667 kern/subr_pool.c KASSERT(pcg->pcg_objects[idx] == NULL);
KASSERT 442 kern/sys_process.c KASSERT((p->p_flag & P_SYSTEM) == 0);
KASSERT 454 kern/sys_process.c KASSERT((p->p_flag & P_SYSTEM) == 0);
KASSERT 467 kern/sys_process.c KASSERT((p->p_flag & P_SYSTEM) == 0);
KASSERT 481 kern/sys_process.c KASSERT((p->p_flag & P_SYSTEM) == 0);
KASSERT 495 kern/sys_process.c KASSERT((p->p_flag & P_SYSTEM) == 0);
KASSERT 509 kern/sys_process.c KASSERT((p->p_flag & P_SYSTEM) == 0);
KASSERT 662 kern/uipc_socket.c KASSERT(m == so->so_rcv.sb_mb);
KASSERT 738 kern/uipc_socket.c KASSERT(so->so_rcv.sb_mb == m);
KASSERT 751 kern/uipc_socket.c KASSERT(so->so_rcv.sb_mb == m);
KASSERT 820 kern/uipc_socket.c KASSERT(so->so_rcv.sb_mb == m);
KASSERT 552 kern/uipc_socket2.c KASSERT(sb->sb_mb == sb->sb_lastrecord);
KASSERT 816 kern/uipc_socket2.c KASSERT((sb->sb_flags & SB_LOCK) == 0);
KASSERT 821 kern/uipc_socket2.c KASSERT(sb->sb_cc == 0);
KASSERT 822 kern/uipc_socket2.c KASSERT(sb->sb_datacc == 0);
KASSERT 823 kern/uipc_socket2.c KASSERT(sb->sb_mb == NULL);
KASSERT 824 kern/uipc_socket2.c KASSERT(sb->sb_mbtail == NULL);
KASSERT 825 kern/uipc_socket2.c KASSERT(sb->sb_lastrecord == NULL);
KASSERT 272 kern/vfs_bio.c KASSERT(size > 0);
KASSERT 307 kern/vfs_bio.c KASSERT(bp->b_bufsize > 0);
KASSERT 746 kern/vfs_bio.c KASSERT(bp->b_bufsize > 0);
KASSERT 963 kern/vfs_bio.c KASSERT(curproc != syncerproc && curproc != cleanerproc);
KASSERT 721 net/if_pppoe.c KASSERT(m->m_flags & M_PKTHDR);
KASSERT 738 net/if_pppoe.c KASSERT(m->m_flags & M_PKTHDR);
KASSERT 813 net/pf.c KASSERT(s->state_key != NULL);
KASSERT 901 net/pf.c KASSERT(state->timeout != PFTM_UNLINKED);
KASSERT 902 net/pf.c KASSERT(state->timeout < PFTM_MAX);
KASSERT 1020 net/pf.c KASSERT(cur->timeout == PFTM_UNLINKED);
KASSERT 183 net/pf_norm.c KASSERT(BUFFER_FRAGMENTS(frag));
KASSERT 192 net/pf_norm.c KASSERT(!BUFFER_FRAGMENTS(frag));
KASSERT 198 net/pf_norm.c KASSERT(TAILQ_EMPTY(&pf_cachequeue) ||
KASSERT 258 net/pf_norm.c KASSERT(LIST_EMPTY(&frag->fr_cache) ||
KASSERT 333 net/pf_norm.c KASSERT(*frag == NULL || BUFFER_FRAGMENTS(*frag));
KASSERT 376 net/pf_norm.c KASSERT(frep != NULL || frea != NULL);
KASSERT 461 net/pf_norm.c KASSERT(frent != NULL);
KASSERT 530 net/pf_norm.c KASSERT(*frag == NULL || !BUFFER_FRAGMENTS(*frag));
KASSERT 583 net/pf_norm.c KASSERT(frp != NULL || fra != NULL);
KASSERT 628 net/pf_norm.c KASSERT((*m0)->m_next == NULL);
KASSERT 644 net/pf_norm.c KASSERT((int)m->m_len ==
KASSERT 701 net/pf_norm.c KASSERT((int)m->m_len ==
KASSERT 740 net/pf_norm.c KASSERT(cur == NULL);
KASSERT 1343 net/pf_norm.c KASSERT(src->scrub == NULL);
KASSERT 1442 net/pf_norm.c KASSERT(src->scrub || dst->scrub);
KASSERT 936 net80211/ieee80211_output.c KASSERT(rs->rs_nrates > IEEE80211_RATE_SIZE);
KASSERT 1542 net80211/ieee80211_output.c KASSERT((info & (EAPOL_KEY_ENCRYPTED | EAPOL_KEY_KEYMIC)) == 0 ||
KASSERT 1571 net80211/ieee80211_output.c KASSERT(k->k_flags & IEEE80211_KEY_GROUP);
KASSERT 142 netbt/hci_event.c KASSERT(m->m_flags & M_PKTHDR);
KASSERT 144 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(hdr));
KASSERT 148 netbt/hci_event.c KASSERT(hdr.type == HCI_EVENT_PKT);
KASSERT 244 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 292 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 350 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 421 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 473 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 563 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 590 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 637 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 679 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 723 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(ep));
KASSERT 760 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(rp));
KASSERT 788 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(rp));
KASSERT 819 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(rp));
KASSERT 918 netbt/hci_event.c KASSERT(m->m_pkthdr.len >= sizeof(rp));
KASSERT 75 netbt/hci_link.c KASSERT(unit != NULL);
KASSERT 76 netbt/hci_link.c KASSERT(bdaddr != NULL);
KASSERT 154 netbt/hci_link.c KASSERT(link != NULL);
KASSERT 250 netbt/hci_link.c KASSERT(link != NULL);
KASSERT 251 netbt/hci_link.c KASSERT(link->hl_unit != NULL);
KASSERT 418 netbt/hci_link.c KASSERT(m != NULL);
KASSERT 419 netbt/hci_link.c KASSERT(unit != NULL);
KASSERT 421 netbt/hci_link.c KASSERT(m->m_pkthdr.len >= sizeof(hdr));
KASSERT 533 netbt/hci_link.c KASSERT(link != NULL);
KASSERT 534 netbt/hci_link.c KASSERT(m != NULL);
KASSERT 535 netbt/hci_link.c KASSERT(m->m_flags & M_PKTHDR);
KASSERT 536 netbt/hci_link.c KASSERT(m->m_pkthdr.len > 0);
KASSERT 612 netbt/hci_link.c KASSERT(link != NULL);
KASSERT 615 netbt/hci_link.c KASSERT(unit != NULL);
KASSERT 638 netbt/hci_link.c KASSERT(m != NULL);
KASSERT 800 netbt/hci_link.c KASSERT(sco->hl_link == acl);
KASSERT 823 netbt/hci_link.c KASSERT(m != NULL);
KASSERT 824 netbt/hci_link.c KASSERT(unit != NULL);
KASSERT 826 netbt/hci_link.c KASSERT(m->m_pkthdr.len >= sizeof(hdr));
KASSERT 889 netbt/hci_link.c KASSERT(unit != NULL);
KASSERT 920 netbt/hci_link.c KASSERT(link != NULL);
KASSERT 935 netbt/hci_link.c KASSERT(link->hl_refcnt == 0);
KASSERT 941 netbt/hci_link.c KASSERT(TAILQ_EMPTY(&link->hl_reqs));
KASSERT 953 netbt/hci_link.c KASSERT(TAILQ_EMPTY(&link->hl_txq));
KASSERT 1020 netbt/hci_link.c KASSERT(unit != NULL);
KASSERT 1021 netbt/hci_link.c KASSERT(bdaddr != NULL);
KASSERT 1042 netbt/hci_link.c KASSERT(unit != NULL);
KASSERT 250 netbt/hci_socket.c KASSERT(m != NULL);
KASSERT 251 netbt/hci_socket.c KASSERT(addr != NULL);
KASSERT 409 netbt/hci_socket.c KASSERT(nam != NULL);
KASSERT 428 netbt/hci_socket.c KASSERT(nam != NULL);
KASSERT 445 netbt/hci_socket.c KASSERT(nam != NULL);
KASSERT 456 netbt/hci_socket.c KASSERT(nam != NULL);
KASSERT 626 netbt/hci_socket.c KASSERT(m->m_len >= sizeof(type));
KASSERT 654 netbt/hci_socket.c KASSERT(m->m_len >= sizeof(hci_event_hdr_t));
KASSERT 667 netbt/hci_socket.c KASSERT(m->m_len >= sizeof(hci_cmd_hdr_t));
KASSERT 67 netbt/hci_unit.c KASSERT(unit->hci_softc != NULL);
KASSERT 68 netbt/hci_unit.c KASSERT(unit->hci_devname != NULL);
KASSERT 69 netbt/hci_unit.c KASSERT(unit->hci_enable != NULL);
KASSERT 70 netbt/hci_unit.c KASSERT(unit->hci_disable != NULL);
KASSERT 71 netbt/hci_unit.c KASSERT(unit->hci_start_cmd != NULL);
KASSERT 72 netbt/hci_unit.c KASSERT(unit->hci_start_acl != NULL);
KASSERT 73 netbt/hci_unit.c KASSERT(unit->hci_start_sco != NULL);
KASSERT 235 netbt/hci_unit.c KASSERT(unit != NULL);
KASSERT 249 netbt/hci_unit.c KASSERT(buf != NULL);
KASSERT 289 netbt/hci_unit.c KASSERT(m != NULL);
KASSERT 305 netbt/hci_unit.c KASSERT(m != NULL);
KASSERT 321 netbt/hci_unit.c KASSERT(m != NULL);
KASSERT 196 netbt/l2cap_lower.c KASSERT(chan->lc_link != NULL);
KASSERT 197 netbt/l2cap_lower.c KASSERT(m != NULL);
KASSERT 87 netbt/l2cap_misc.c KASSERT(chan != NULL);
KASSERT 88 netbt/l2cap_misc.c KASSERT(chan->lc_link != NULL);
KASSERT 227 netbt/l2cap_misc.c KASSERT(used->lc_lcid == cid);
KASSERT 290 netbt/l2cap_signal.c KASSERT(new->lc_link == link);
KASSERT 161 netbt/l2cap_socket.c KASSERT(nam != NULL);
KASSERT 173 netbt/l2cap_socket.c KASSERT(nam != NULL);
KASSERT 186 netbt/l2cap_socket.c KASSERT(nam != NULL);
KASSERT 192 netbt/l2cap_socket.c KASSERT(nam != NULL);
KASSERT 202 netbt/l2cap_socket.c KASSERT(m != NULL);
KASSERT 234 netbt/l2cap_socket.c KASSERT(nam != NULL);
KASSERT 298 netbt/l2cap_socket.c KASSERT(m != NULL);
KASSERT 66 netbt/l2cap_upper.c KASSERT(handle != NULL);
KASSERT 67 netbt/l2cap_upper.c KASSERT(proto != NULL);
KASSERT 68 netbt/l2cap_upper.c KASSERT(upper != NULL);
KASSERT 156 netbt/rfcomm_dlc.c KASSERT(dlc->rd_state != RFCOMM_DLC_CLOSED);
KASSERT 222 netbt/rfcomm_dlc.c KASSERT(dlc->rd_session != NULL);
KASSERT 223 netbt/rfcomm_dlc.c KASSERT(dlc->rd_session->rs_state == RFCOMM_SESSION_OPEN);
KASSERT 253 netbt/rfcomm_dlc.c KASSERT(dlc->rd_session != NULL);
KASSERT 254 netbt/rfcomm_dlc.c KASSERT(dlc->rd_session->rs_state == RFCOMM_SESSION_OPEN);
KASSERT 255 netbt/rfcomm_dlc.c KASSERT(dlc->rd_state == RFCOMM_DLC_WAIT_SESSION);
KASSERT 295 netbt/rfcomm_dlc.c KASSERT(dlc->rd_session != NULL);
KASSERT 296 netbt/rfcomm_dlc.c KASSERT(dlc->rd_session->rs_state == RFCOMM_SESSION_OPEN);
KASSERT 333 netbt/rfcomm_dlc.c KASSERT(rs != NULL);
KASSERT 334 netbt/rfcomm_dlc.c KASSERT(rs->rs_state == RFCOMM_SESSION_OPEN);
KASSERT 335 netbt/rfcomm_dlc.c KASSERT(dlc->rd_state == RFCOMM_DLC_OPEN);
KASSERT 217 netbt/rfcomm_session.c KASSERT(rs != NULL);
KASSERT 218 netbt/rfcomm_session.c KASSERT(LIST_EMPTY(&rs->rs_dlcs));
KASSERT 247 netbt/rfcomm_session.c KASSERT(SIMPLEQ_EMPTY(&rs->rs_credits));
KASSERT 306 netbt/rfcomm_session.c KASSERT(rs != NULL);
KASSERT 602 netbt/rfcomm_session.c KASSERT(m != NULL);
KASSERT 603 netbt/rfcomm_session.c KASSERT(rs != NULL);
KASSERT 1518 netbt/rfcomm_session.c KASSERT(rs != NULL);
KASSERT 1521 netbt/rfcomm_session.c KASSERT(!(credits == 0 && len == 0));
KASSERT 168 netbt/rfcomm_socket.c KASSERT(nam != NULL);
KASSERT 180 netbt/rfcomm_socket.c KASSERT(nam != NULL);
KASSERT 193 netbt/rfcomm_socket.c KASSERT(nam != NULL);
KASSERT 199 netbt/rfcomm_socket.c KASSERT(nam != NULL);
KASSERT 209 netbt/rfcomm_socket.c KASSERT(m != NULL);
KASSERT 235 netbt/rfcomm_socket.c KASSERT(nam != NULL);
KASSERT 297 netbt/rfcomm_socket.c KASSERT(m != NULL);
KASSERT 320 netbt/rfcomm_socket.c KASSERT(arg != NULL);
KASSERT 329 netbt/rfcomm_socket.c KASSERT(so != NULL);
KASSERT 339 netbt/rfcomm_socket.c KASSERT(so != NULL);
KASSERT 407 netbt/rfcomm_socket.c KASSERT(so != NULL);
KASSERT 68 netbt/rfcomm_upper.c KASSERT(handle != NULL);
KASSERT 69 netbt/rfcomm_upper.c KASSERT(proto != NULL);
KASSERT 70 netbt/rfcomm_upper.c KASSERT(upper != NULL);
KASSERT 224 netbt/rfcomm_upper.c KASSERT(dlc != NULL);
KASSERT 403 netbt/rfcomm_upper.c KASSERT(dlc != NULL);
KASSERT 150 netbt/sco_socket.c KASSERT(nam != NULL);
KASSERT 162 netbt/sco_socket.c KASSERT(nam != NULL);
KASSERT 175 netbt/sco_socket.c KASSERT(nam != NULL);
KASSERT 181 netbt/sco_socket.c KASSERT(nam != NULL);
KASSERT 191 netbt/sco_socket.c KASSERT(m != NULL);
KASSERT 223 netbt/sco_socket.c KASSERT(nam != NULL);
KASSERT 284 netbt/sco_socket.c KASSERT(m != NULL);
KASSERT 65 netbt/sco_upper.c KASSERT(handle != NULL);
KASSERT 66 netbt/sco_upper.c KASSERT(proto != NULL);
KASSERT 67 netbt/sco_upper.c KASSERT(upper != NULL);
KASSERT 161 netbt/sco_upper.c KASSERT(sco->hl_link == acl);
KASSERT 233 netbt/sco_upper.c KASSERT(handle != NULL);
KASSERT 196 netinet/ip_icmp.c KASSERT(ICMP_MINLEN <= MCLBYTES);
KASSERT 1595 ntfs/ntfs_subr.c KASSERT(cl == 1 && tocopy <= ntfs_cntob(1));
KASSERT 1701 ntfs/ntfs_subr.c KASSERT(cl == 1 &&
KASSERT 177 sys/lock.h #define LOCK_ASSERT(x) KASSERT(x)
KASSERT 156 sys/sched.h #define SCHED_ASSERT_LOCKED() KASSERT(__mp_lock_held(&sched_lock))
KASSERT 157 sys/sched.h #define SCHED_ASSERT_UNLOCKED() KASSERT(__mp_lock_held(&sched_lock) == 0)
KASSERT 85 ufs/ufs/ufs_dirhash.c #define DIRHASH_ASSERT(e, m) KASSERT((e))
KASSERT 270 uvm/uvm_amap.c KASSERT(amap->am_ref == 0 && amap->am_nused == 0);
KASSERT 271 uvm/uvm_amap.c KASSERT((amap->am_flags & AMAP_SWAPOFF) == 0);
KASSERT 403 uvm/uvm_amap.c KASSERT(amap->am_maxslot < slotneed);
KASSERT 522 uvm/uvm_amap.c KASSERT(amap->am_ref == 0);
KASSERT 1136 uvm/uvm_amap.c KASSERT(LIST_NEXT(&marker_prev, am_list) == &marker_next ||
KASSERT 241 uvm/uvm_amap.h KASSERT(((B) & (PAGE_SIZE - 1)) == 0); \
KASSERT 127 uvm/uvm_anon.c KASSERT(pg->loan_count > 0);
KASSERT 169 uvm/uvm_anon.c KASSERT(anon->an_page == NULL);
KASSERT 170 uvm/uvm_anon.c KASSERT(anon->an_swslot == 0);
KASSERT 348 uvm/uvm_aobj.c KASSERT(slot == 0);
KASSERT 1266 uvm/uvm_aobj.c KASSERT(pg->pg_flags & PG_RELEASED);
KASSERT 1285 uvm/uvm_aobj.c KASSERT(aobj->u_obj.uo_refs == 0);
KASSERT 1293 uvm/uvm_aobj.c KASSERT(TAILQ_EMPTY(&aobj->u_obj.memq));
KASSERT 1513 uvm/uvm_aobj.c KASSERT((pg->pg_flags & PG_RELEASED) == 0);
KASSERT 313 uvm/uvm_device.c KASSERT(uobj->uo_npages == 0 && TAILQ_EMPTY(&uobj->memq));
KASSERT 462 uvm/uvm_fault.c KASSERT(result != VM_PAGER_PEND);
KASSERT 701 uvm/uvm_fault.c KASSERT(uvmadvice[ufi.entry->advice].advice ==
KASSERT 927 uvm/uvm_fault.c KASSERT((pages[lcv]->pg_flags & PG_RELEASED) == 0);
KASSERT 1183 uvm/uvm_fault.c KASSERT(uvmexp.swpgonly <= uvmexp.swpages);
KASSERT 1246 uvm/uvm_fault.c KASSERT(uvmexp.swpgonly <= uvmexp.swpages);
KASSERT 1312 uvm/uvm_fault.c KASSERT(uobjpage != PGO_DONTCARE);
KASSERT 1353 uvm/uvm_fault.c KASSERT(result != VM_PAGER_PEND);
KASSERT 1410 uvm/uvm_fault.c KASSERT(uobj->pgops->pgo_releasepg != NULL);
KASSERT 1603 uvm/uvm_fault.c KASSERT(uvmexp.swpgonly <= uvmexp.swpages);
KASSERT 1710 uvm/uvm_fault.c KASSERT(uvmexp.swpgonly <= uvmexp.swpages);
KASSERT 1833 uvm/uvm_fault.c KASSERT((map->flags & VM_MAP_INTRSAFE) == 0);
KASSERT 1847 uvm/uvm_fault.c KASSERT(start >= vm_map_min(map) && end <= vm_map_max(map));
KASSERT 1858 uvm/uvm_fault.c KASSERT(va >= entry->start);
KASSERT 1860 uvm/uvm_fault.c KASSERT(entry->next != &map->header &&
KASSERT 268 uvm/uvm_km.c KASSERT(uobj->pgops == &aobj_pager);
KASSERT 349 uvm/uvm_km.c KASSERT(vm_map_pmap(map) == pmap_kernel());
KASSERT 484 uvm/uvm_km.c KASSERT(vm_map_pmap(map) == pmap_kernel());
KASSERT 595 uvm/uvm_km.c KASSERT(vm_map_pmap(map) == pmap_kernel());
KASSERT 630 uvm/uvm_km.c KASSERT(vm_map_pmap(map) == pmap_kernel());
KASSERT 250 uvm/uvm_map.c KASSERT(next);
KASSERT 789 uvm/uvm_map.c KASSERT(UVM_OBJ_IS_KERN_OBJECT(uobj));
KASSERT 1158 uvm/uvm_map.c KASSERT((align & (align - 1)) == 0);
KASSERT 1159 uvm/uvm_map.c KASSERT((flags & UVM_FLAG_FIXED) == 0 || align == 0);
KASSERT 1279 uvm/uvm_map.c KASSERT(tmp && tmp->space >= length);
KASSERT 1459 uvm/uvm_map.c KASSERT(vm_map_pmap(map) == pmap_kernel());
KASSERT 1559 uvm/uvm_map.c KASSERT(!VM_MAPENT_ISWIRED(first_entry));
KASSERT 1804 uvm/uvm_map.c KASSERT((start & PAGE_MASK) == 0 && (len & PAGE_MASK) == 0);
KASSERT 1805 uvm/uvm_map.c KASSERT((flags & UVM_EXTRACT_REMOVE) == 0 ||
KASSERT 2399 uvm/uvm_map.c KASSERT(map->flags & VM_MAP_PAGEABLE);
KASSERT 2650 uvm/uvm_map.c KASSERT(map->flags & VM_MAP_PAGEABLE);
KASSERT 2873 uvm/uvm_map.c KASSERT((flags & (PGO_FREE|PGO_DEACTIVATE)) !=
KASSERT 2904 uvm/uvm_map.c KASSERT(start >= current->start);
KASSERT 2965 uvm/uvm_map.c KASSERT(pg->uobject == NULL);
KASSERT 2970 uvm/uvm_map.c KASSERT(pg->uanon == anon);
KASSERT 292 uvm/uvm_mmap.c KASSERT(!UVM_ET_ISSUBMAP(entry));
KASSERT 293 uvm/uvm_mmap.c KASSERT(start >= entry->start);
KASSERT 310 uvm/uvm_mmap.c KASSERT(!UVM_OBJ_IS_KERN_OBJECT(entry->object.uvm_obj));
KASSERT 160 uvm/uvm_page.c KASSERT((pg->pg_flags & PG_TABLED) == 0);
KASSERT 187 uvm/uvm_page.c KASSERT(pg->pg_flags & PG_TABLED);
KASSERT 915 uvm/uvm_page.c KASSERT(obj == NULL || anon == NULL);
KASSERT 916 uvm/uvm_page.c KASSERT(off == trunc_page(off));
KASSERT 991 uvm/uvm_page.c KASSERT(free_list >= 0 && free_list < VM_NFREELIST);
KASSERT 1184 uvm/uvm_page.c KASSERT(saved_loan_count == 0);
KASSERT 208 uvm/uvm_page_i.h KASSERT(pg->wire_count == 0);
KASSERT 301 uvm/uvm_page_i.h KASSERT(lcv != -1);
KASSERT 155 uvm/uvm_pager.c KASSERT(npages <= MAXBSIZE >> PAGE_SHIFT);
KASSERT 174 uvm/uvm_pager.c KASSERT(pp);
KASSERT 175 uvm/uvm_pager.c KASSERT(pp->pg_flags & PG_BUSY);
KASSERT 694 uvm/uvm_pager.c KASSERT(!uobj || obj_is_alive);
KASSERT 748 uvm/uvm_pager.c KASSERT(mbp != bp);
KASSERT 836 uvm/uvm_pager.c KASSERT(swap || pg->uobject == uobj);
KASSERT 853 uvm/uvm_pager.c KASSERT(!write || (pgs[i]->pg_flags & PG_FAKE) == 0);
KASSERT 65 uvm/uvm_pager_i.h KASSERT(rv);
KASSERT 67 uvm/uvm_pager_i.h KASSERT(pg != NULL);
KASSERT 478 uvm/uvm_pdaemon.c KASSERT(anon != NULL);
KASSERT 490 uvm/uvm_pdaemon.c KASSERT(p->loan_count > 0);
KASSERT 505 uvm/uvm_pdaemon.c KASSERT(uobj != NULL);
KASSERT 545 uvm/uvm_pdaemon.c KASSERT(anon->an_swslot != 0);
KASSERT 579 uvm/uvm_pdaemon.c KASSERT(uvmexp.swpgonly <= uvmexp.swpages);
KASSERT 598 uvm/uvm_pdaemon.c KASSERT(uvmexp.swpginuse <= uvmexp.swpages);
KASSERT 1050 uvm/uvm_pdaemon.c KASSERT(p->uanon != NULL);
KASSERT 1056 uvm/uvm_pdaemon.c KASSERT(p->loan_count > 0);
KASSERT 192 uvm/uvm_pglist.c KASSERT((alignment & (alignment - 1)) == 0);
KASSERT 193 uvm/uvm_pglist.c KASSERT((boundary & (boundary - 1)) == 0);
KASSERT 361 uvm/uvm_pglist.c KASSERT((m->pg_flags & (PQ_ACTIVE|PQ_INACTIVE)) == 0);
KASSERT 1551 uvm/uvm_swap.c KASSERT(vnx->vx_pending == 0);
KASSERT 1704 uvm/uvm_swap.c KASSERT(uvmexp.nswapdev >= 1);
KASSERT 1705 uvm/uvm_swap.c KASSERT(sdp != NULL);
KASSERT 1706 uvm/uvm_swap.c KASSERT(sdp->swd_npginuse >= nslots);
KASSERT 1767 uvm/uvm_swap.c KASSERT(flags & PGO_SYNCIO);