Home
last modified time | relevance | path

Searched refs:KDASSERT (Results 1 – 25 of 33) sorted by relevance

12

/openbsd/src/sys/arch/landisk/landisk/
Dintr.c80 KDASSERT(ih->ih_func); in intc_intr()
143 KDASSERT(irq >= 5 && irq < 13); in extintr_establish()
221 KDASSERT(ih != NULL); in extintr_disestablish()
265 KDASSERT(ih != NULL); in extintr_enable()
270 KDASSERT(irq >= 0 && irq < 8); in extintr_enable()
281 KDASSERT(q != NULL); in extintr_enable()
301 KDASSERT(ih != NULL); in extintr_disable()
306 KDASSERT(irq >= 0 && irq < 8); in extintr_disable()
317 KDASSERT(q != NULL); in extintr_disable()
335 KDASSERT(irq >= 0 && irq < 8); in extintr_disable_by_num()
/openbsd/src/sys/arch/sh/sh/
Dpmap.c127 KDASSERT(!uvm.page_init_done); in pmap_steal_memory()
135 KDASSERT(i != vm_nphysseg); in pmap_steal_memory()
146 KDASSERT(vm_nphysseg > 0); in pmap_steal_memory()
250 KDASSERT(*pte == 0); in pmap_destroy()
284 KDASSERT(pmap->pm_asid >=0 && pmap->pm_asid < 256); in pmap_activate()
298 KDASSERT(prot != 0 && ((flags & PROT_MASK) & ~prot) == 0); in pmap_enter()
487 KDASSERT((sva & PGOFSET) == 0); in pmap_remove()
545 KDASSERT(!(pv->pv_pmap == pmap && pv->pv_va == vaddr)); in __pmap_pv_remove()
555 KDASSERT((va & PGOFSET) == 0); in pmap_kenter_pa()
556 KDASSERT(va >= VM_MIN_KERNEL_ADDRESS && va < VM_MAX_KERNEL_ADDRESS); in pmap_kenter_pa()
[all …]
Dtrap.c173 KDASSERT(p->p_md.md_regs == tf); /* check exception depth */ in general_exception()
222 KDASSERT(p && p->p_md.md_pcb->pcb_onfault != NULL); in general_exception()
340 KDASSERT(p->p_md.md_regs == tf); in tlb_exception()
343 KDASSERT(p == NULL || /* idle */ in tlb_exception()
481 KDASSERT(p != NULL); in ast()
482 KDASSERT(p->p_md.md_regs == tf); in ast()
Dlocore_c.c182 KDASSERT(pte && *pte != 0); in sh3_switch_setup()
208 KDASSERT(pte && *pte != 0); in sh4_switch_setup()
Dmmu_sh3.c113 KDASSERT(asid < 0x100 && (pte & ~PGOFSET) != 0 && va != 0); in sh3_tlb_update()
Dmmu_sh4.c151 KDASSERT(asid < 0x100 && (pte & ~PGOFSET) != 0 && va != 0); in sh4_tlb_update()
Dvm_machdep.c145 KDASSERT(p1 == curproc || p1 == &proc0); in cpu_fork()
Dinterrupt.c121 KDASSERT(evtcode >= 0x200 && level > 0); in intc_intr_establish()
/openbsd/src/sys/uvm/
Duvm_pmemrange.c321 KDASSERT(*pg_next == NULL || in uvm_pmr_pnaddr()
323 KDASSERT(*pg_prev == NULL || in uvm_pmr_pnaddr()
349 KDASSERT(RBT_FIND(uvm_pmr_addr, &pmr->addr, pg) == pg); in uvm_pmr_remove_addr()
350 KDASSERT(pg->pg_flags & PQ_FREE); in uvm_pmr_remove_addr()
366 KDASSERT(pg->fpgsz >= 1); in uvm_pmr_remove_size()
367 KDASSERT(pg->pg_flags & PQ_FREE); in uvm_pmr_remove_size()
376 KDASSERT(i == pg); in uvm_pmr_remove_size()
380 KDASSERT(RBT_FIND(uvm_pmr_size, &pmr->size[memtype], in uvm_pmr_remove_size()
412 KDASSERT(pg->pg_flags & PQ_FREE); in uvm_pmr_insert_addr()
413 KDASSERT(pg->fpgsz >= 1); in uvm_pmr_insert_addr()
[all …]
Duvm_map.c363 KDASSERT((entry->fspace & (vaddr_t)PAGE_MASK) == 0); in uvm_mapent_free_insert()
371 KDASSERT(fun != NULL); in uvm_mapent_free_insert()
412 KDASSERT(entry->start <= entry->end); in uvm_mapent_addr_insert()
413 KDASSERT((entry->start & (vaddr_t)PAGE_MASK) == 0 && in uvm_mapent_addr_insert()
592 KDASSERT(atree != NULL && start_ptr != NULL && end_ptr != NULL); in uvm_map_isavail()
611 KDASSERT(*start_ptr != NULL && *end_ptr != NULL); in uvm_map_isavail()
612 KDASSERT((*start_ptr)->start <= addr && in uvm_map_isavail()
866 KDASSERT(entry->start == *addr && entry->end == *addr + sz); in uvm_mapanon()
1135 KDASSERT(entry->start == *addr && entry->end == *addr + sz); in uvm_map()
1216 KDASSERT(e1 != NULL && e2 != NULL); in uvm_mapent_isjoinable()
[all …]
Duvm_pager.c204 KDASSERT(segaddr == pseg->start + id * MAXBSIZE); in uvm_pseg_release()
/openbsd/src/sys/kern/
Dsubr_blist.c126 #define KDASSERT(exp) assert(exp) macro
255 KDASSERT(blk < bl->bl_blocks); in blist_alloc()
256 KDASSERT(bl->bl_free <= bl->bl_blocks); in blist_alloc()
268 KDASSERT(blkat < bl->bl_blocks); in blist_allocat()
269 KDASSERT(blkat + count <= bl->bl_blocks); in blist_allocat()
279 KDASSERT(blk < bl->bl_blocks); in blist_allocat()
280 KDASSERT(bl->bl_free <= bl->bl_blocks); in blist_allocat()
296 KDASSERT(blkno < bl->bl_blocks); in blist_free()
297 KDASSERT(blkno + count <= bl->bl_blocks); in blist_free()
305 KDASSERT(bl->bl_free <= bl->bl_blocks); in blist_free()
[all …]
/openbsd/src/sys/arch/i386/isa/
Dnpx.c647 KDASSERT(ci->ci_fpcurproc == NULL); in npxdna_xmm()
649 KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL); in npxdna_xmm()
692 KDASSERT(i386_use_fxsave == 0); in npxdna_s87()
728 KDASSERT(ci->ci_fpcurproc == NULL); in npxdna_s87()
730 KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL); in npxdna_s87()
785 KDASSERT(ci == curcpu()); in npxsave_cpu()
842 KDASSERT(p->p_addr != NULL); in npxsave_proc()
/openbsd/src/sys/arch/arm/arm/
Dpmap7.c809 KDASSERT(count <= l2b->l2b_occupancy); in pmap_free_l2_bucket()
910 KDASSERT(l2b != NULL); in pmap_clearbit()
1006 KDASSERT(l2b != NULL); in pmap_page_remove()
1090 KDASSERT((flags & PMAP_WIRED) == 0 || (flags & PROT_MASK) != 0); in pmap_enter()
1091 KDASSERT(((va | pa) & PGOFSET) == 0); in pmap_enter()
1399 KDASSERT(l2b != NULL); in pmap_kenter_pa()
1452 KDASSERT(l2b != NULL); in pmap_kremove()
1469 KDASSERT(mappings <= l2b->l2b_occupancy); in pmap_kremove()
1492 KDASSERT(pm == pmap_kernel()); in pmap_extract()
1785 KDASSERT(l2b != NULL); in pmap_unwire()
[all …]
Dfault.c302 KDASSERT(l->l_proc->p_sa != NULL); in data_abort_handler()
452 KDASSERT(p->p_addr->u_pcb.pcb_onfault == NULL); in dab_align()
492 KDASSERT(TRAP_USERMODE(tf) == 0); in dab_buserr()
Dbus_dma.c941 KDASSERT((pte & L2_TYPE_MASK) != L2_TYPE_INV); in _bus_dmamap_load_buffer()
/openbsd/src/sys/lib/libkern/
Dlibkern.h127 #define KDASSERT(e) ((void)0) macro
132 #define KDASSERT(e) ((e) ? (void)0 : \ macro
/openbsd/src/sys/arch/sparc64/sparc64/
Dpmap.c1642 KDASSERT(va < INTSTACK || va > EINTSTACK); in pmap_kenter_pa()
1643 KDASSERT(va < kdata || va > ekdata); in pmap_kenter_pa()
1679 KDASSERT((tte.data & TLB_NFO) == 0); in pmap_kenter_pa()
1700 KDASSERT(va < INTSTACK || va > EINTSTACK); in pmap_kremove()
1701 KDASSERT(va < kdata || va > ekdata); in pmap_kremove()
1747 KDASSERT(pm != pmap_kernel() || va < INTSTACK || va > EINTSTACK); in pmap_enter()
1748 KDASSERT(pm != pmap_kernel() || va < kdata || va > ekdata); in pmap_enter()
1814 KDASSERT((tte.data & TLB_NFO) == 0); in pmap_enter()
1865 KDASSERT(pm != pmap_kernel() || endva < INTSTACK || va > EINTSTACK); in pmap_remove()
1866 KDASSERT(pm != pmap_kernel() || endva < kdata || va > ekdata); in pmap_remove()
[all …]
Dvm_machdep.c228 KDASSERT(ci == curcpu()); in fpusave_cpu()
/openbsd/src/sys/arch/alpha/alpha/
Dtrap.c614 KDASSERT(ci->ci_fpcurproc == NULL); in alpha_enable_fp()
620 KDASSERT(p->p_addr->u_pcb.pcb_fpcpu == NULL); in alpha_enable_fp()
Dinterrupt.c247 KDASSERT(a1 >= SCB_IOVECBASE && a1 < SCB_SIZE); in interrupt()
Dmachdep.c1623 KDASSERT(ci == curcpu()); in fpusave_cpu()
1666 KDASSERT(p->p_addr != NULL); in fpusave_proc()
/openbsd/src/sys/arch/amd64/include/
Dpmap.h420 KDASSERT(PHYS_TO_VM_PAGE(paddr) != NULL); \
/openbsd/src/sys/dev/pci/
Dcmpci.c234 KDASSERT(no != CMPCI_REG_MISC); in cmpci_reg_set_4()
245 KDASSERT(no != CMPCI_REG_MISC); in cmpci_reg_clear_4()
/openbsd/src/sys/arch/landisk/dev/
Dobio.c274 KDASSERT(pte); in obio_iomem_add_mapping()

12