HomeSort by: relevance | last modified time | path
    Searched refs:KDASSERT (Results 1 - 25 of 122) sorted by relevancy

1 2 3 4 5

  /src/sys/arch/evbmips/evbmips/
interrupt.c 61 KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);
66 KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);
68 KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);
110 KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);
  /src/sys/external/bsd/drm2/include/linux/
lockdep.h 55 #define lockdep_assert_held(m) KDASSERT(lockdep_is_held(m))
56 #define lockdep_assert_held_once(m) KDASSERT(lockdep_is_held(m))
59 KDASSERT(mutex_ownable(__lockdep_kmutex(m)))
  /src/sys/arch/landisk/landisk/
intr.c 84 KDASSERT(ih->ih_func);
144 KDASSERT(irq >= 5 && irq <= 12);
217 KDASSERT(ih != NULL);
259 KDASSERT(ih != NULL);
264 KDASSERT(irq >= 0 && irq < 8);
275 KDASSERT(q != NULL);
295 KDASSERT(ih != NULL);
300 KDASSERT(irq >= 0 && irq < 8);
311 KDASSERT(q != NULL);
328 KDASSERT(irq >= 5 && irq <= 12)
    [all...]
  /src/sys/ddb/
db_user.h 52 #define KDASSERT assert
  /src/sys/uvm/
uvm_page_array.c 200 KDASSERT(pg->uobject == uobj);
202 KDASSERT(pg->offset <= off);
203 KDASSERT(i == 0 ||
206 KDASSERT(pg->offset >= off);
207 KDASSERT(i == 0 ||
  /src/sys/arch/playstation2/ee/
intc.c 108 KDASSERT(dispatcher->func);
134 KDASSERT(LEGAL_CHANNEL(ch));
143 KDASSERT(LEGAL_CHANNEL(ch));
167 KDASSERT(dispatcher->func == NULL);
dmac.c 137 KDASSERT(dispatcher->func);
164 KDASSERT(LEGAL_CHANNEL(ch));
173 KDASSERT(LEGAL_CHANNEL(ch));
198 KDASSERT(dispatcher->func == NULL);
322 KDASSERT((D_PCR_CPC(r) & ~D_PCR_CPC_BIT(ch)) == 0);
timer.c 89 KDASSERT(LEGAL_TIMER(timer) && timer != 0);
sif.c 127 KDASSERT((seg->ee_vaddr & 63) == 0);
  /src/sys/arch/sh3/sh3/
mmu_sh4.c 138 KDASSERT(asid != 0);
195 KDASSERT(asid < 0x100);
196 KDASSERT(va != 0);
197 KDASSERT((pte & ~PGOFSET) != 0);
pmap.c 135 KDASSERT(!uvm.page_init_done);
148 KDASSERT(uvm_physseg_valid_p(bank));
272 KDASSERT(*pte == 0);
307 KDASSERT(pmap->pm_asid >=0 && pmap->pm_asid < 256);
329 KDASSERT(prot != 0 && ((flags & VM_PROT_ALL) & ~prot) == 0);
520 KDASSERT((sva & PGOFSET) == 0);
578 KDASSERT(!(pv->pv_pmap == pmap && pv->pv_va == vaddr));
588 KDASSERT((va & PGOFSET) == 0);
589 KDASSERT(va >= VM_MIN_KERNEL_ADDRESS && va < VM_MAX_KERNEL_ADDRESS);
602 KDASSERT(*pte == 0)
    [all...]
exception.c 166 KDASSERT(l->l_md.md_regs == tf); /* check exception depth */
300 KDASSERT(l->l_md.md_regs == tf);
303 KDASSERT(l == NULL || /* idle */
485 KDASSERT(l != NULL);
486 KDASSERT(l->l_md.md_regs == tf);
locore_c.c 192 KDASSERT(pte && *pte != 0);
  /src/sys/arch/dreamcast/dreamcast/
sysasic.c 109 KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);
110 KDASSERT(ih_fun);
177 KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);
214 KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);
296 KDASSERT(evh->hnd_fn);
  /src/sys/arch/arm/arm/
ast.c 120 KDASSERT(ci->ci_cpl == IPL_NONE);
  /src/sys/arch/evbarm/nslu2/
nslu2_leds.c 232 KDASSERT(sc->sc_usb0_ih != NULL);
235 KDASSERT(sc->sc_usb1_ih != NULL);
238 KDASSERT(sc->sc_usb2_ih != NULL);
242 KDASSERT(sc->sc_tmr_ih != NULL);
  /src/sys/kern/
bufq_priocscan.c 160 KDASSERT(bp == NULL || cscan_tree_compare_key(q, bp, key) >= 0);
163 KDASSERT(cscan_tree_compare_key(q, bp, key) < 0);
380 KDASSERT(!cscan_empty(&pq->q_queue));
388 KDASSERT(bp != NULL);
389 KDASSERT(&pq->q_queue == bufq_priocscan_selectqueue(q, bp));
  /src/sys/arch/hpcsh/dev/hd6446x/
hd6446xintc.c 103 KDASSERT(hh->hh_func != NULL);
  /src/sys/arch/mips/mips/
mips_softint.c 116 KDASSERT(mips_cp0_status_read() & MIPS_SR_INT_IE);
  /src/sys/arch/powerpc/powerpc/
pmap_subr.c 295 KDASSERT(pg != NULL);
296 KDASSERT(LIST_EMPTY(&md->mdpg_pvoh));
376 KDASSERT(pg != NULL);
377 KDASSERT(LIST_EMPTY(&md->mdpg_pvoh));
  /src/sys/dev/scsipi/
scsipi_base.h 99 KDASSERT(mutex_owned(chan_mtx(periph->periph_channel)));
  /src/sys/arch/playstation2/dev/
spd.c 162 KDASSERT(LEGAL_SLOT(slot));
163 KDASSERT(__spd_table[slot].func == 0);
176 KDASSERT(LEGAL_SLOT(slot));
if_smap.c 348 KDASSERT(sz >= ETHER_ADDR_LEN * 2 + ETHER_TYPE_LEN);
349 KDASSERT(sz <= ETHER_MAX_LEN);
466 KDASSERT(ifp->if_flags & IFF_RUNNING);
475 KDASSERT(pktsz <= ETHER_MAX_LEN - ETHER_CRC_LEN);
485 KDASSERT(m0 != NULL);
503 KDASSERT((fifop & 3) == 0);
514 KDASSERT((d->stat & SMAP_TXDESC_READY) == 0);
  /src/sys/arch/ews4800mips/ews4800mips/
disksubr.c 107 KDASSERT(openmask == 0); /* openmask is obsolete. -uch */
  /src/sys/arch/x86/include/
intr.h 169 #define SPL_ASSERT_BELOW(x) KDASSERT(curcpu()->ci_ilevel < (x))

Completed in 42 milliseconds

1 2 3 4 5