HelenOS sources
assert 114 common/adt/bitmap.c assert(start + count <= bitmap->elements);
assert 168 common/adt/bitmap.c assert(start + count <= bitmap->elements);
assert 224 common/adt/bitmap.c assert(count <= dst->elements);
assert 225 common/adt/bitmap.c assert(count <= src->elements);
assert 94 common/adt/hash_table.c assert(h);
assert 95 common/adt/hash_table.c assert(op && op->hash && op->key_hash && op->key_equal);
assert 122 common/adt/hash_table.c assert(h && h->bucket);
assert 123 common/adt/hash_table.c assert(!h->apply_ongoing);
assert 136 common/adt/hash_table.c assert(h && h->bucket);
assert 143 common/adt/hash_table.c assert(h && h->bucket);
assert 153 common/adt/hash_table.c assert(h && h->bucket);
assert 154 common/adt/hash_table.c assert(!h->apply_ongoing);
assert 174 common/adt/hash_table.c assert(cur);
assert 192 common/adt/hash_table.c assert(item);
assert 193 common/adt/hash_table.c assert(h && h->bucket);
assert 194 common/adt/hash_table.c assert(!h->apply_ongoing);
assert 213 common/adt/hash_table.c assert(item);
assert 214 common/adt/hash_table.c assert(h && h->bucket && h->bucket_cnt);
assert 215 common/adt/hash_table.c assert(h->op && h->op->hash && h->op->equal);
assert 216 common/adt/hash_table.c assert(!h->apply_ongoing);
assert 247 common/adt/hash_table.c assert(h && h->bucket);
assert 269 common/adt/hash_table.c assert(item);
assert 270 common/adt/hash_table.c assert(h && h->bucket);
assert 277 common/adt/hash_table.c assert(cur);
assert 308 common/adt/hash_table.c assert(h && h->bucket);
assert 309 common/adt/hash_table.c assert(!h->apply_ongoing);
assert 336 common/adt/hash_table.c assert(item);
assert 337 common/adt/hash_table.c assert(h && h->bucket);
assert 338 common/adt/hash_table.c assert(link_in_use(&item->link));
assert 359 common/adt/hash_table.c assert(f);
assert 360 common/adt/hash_table.c assert(h && h->bucket);
assert 400 common/adt/hash_table.c assert(pbuckets && HT_MIN_BUCKETS <= bucket_cnt);
assert 440 common/adt/hash_table.c assert(h && h->bucket);
assert 441 common/adt/hash_table.c assert(HT_MIN_BUCKETS <= new_bucket_cnt);
assert 214 common/adt/odict.c assert(odict->root == NULL);
assert 248 common/adt/odict.c assert(!odlink_used(odlink));
assert 323 common/adt/odict.c assert(pcs == gcs);
assert 355 common/adt/odict.c assert(n != NULL);
assert 362 common/adt/odict.c assert(odlink->b == NULL);
assert 370 common/adt/odict.c assert(c == NULL);
assert 387 common/adt/odict.c assert(c == NULL);
assert 404 common/adt/odict.c assert(p->color == odc_black);
assert 413 common/adt/odict.c assert(s->color == odc_black);
assert 475 common/adt/odict.c assert(s->color == odc_black);
assert 476 common/adt/odict.c assert(sc != NULL);
assert 477 common/adt/odict.c assert(sc->color == odc_red);
assert 787 common/adt/odict.c assert((*p)->b == n);
assert 802 common/adt/odict.c assert((*g)->b == *p);
assert 839 common/adt/odict.c assert(q != NULL);
assert 868 common/adt/odict.c assert(p != NULL);
assert 904 common/adt/odict.c assert(a->up->b == a);
assert 921 common/adt/odict.c assert(b->up->b == b);
assert 988 common/adt/odict.c assert(old->up->b == old);
assert 992 common/adt/odict.c assert(old->odict->root == old);
assert 1009 common/adt/odict.c assert(n->up->b == n);
assert 1015 common/adt/odict.c assert(n->odict->root == n);
assert 1079 common/adt/odict.c assert(hint == NULL || hint->odict == odict);
assert 134 common/include/adt/list.h assert(!link_used(link))
assert 454 common/include/adt/list.h assert(link->prev != NULL && link->next != NULL);
assert 601 common/printf/printf_core.c assert(val.is_special);
assert 663 common/printf/printf_core.c assert(1 <= *len);
assert 712 common/printf/printf_core.c assert(0 < len);
assert 713 common/printf/printf_core.c assert(0 <= precision);
assert 714 common/printf/printf_core.c assert(0 <= dec_exp || -dec_exp <= precision);
assert 946 common/printf/printf_core.c assert(0 < len);
assert 1149 common/printf/printf_core.c assert(0 < len);
assert 1165 common/printf/printf_core.c assert(0 < len);
assert 1237 common/printf/printf_core.c assert(false);
assert 839 common/str.c assert(size > 0);
assert 840 common/str.c assert(src != NULL);
assert 873 common/str.c assert(size > 0);
assert 943 common/str.c assert(size > 0);
assert 957 common/str.c assert(rc == EOVERFLOW);
assert 989 common/str.c assert(size > 0);
assert 1021 common/str.c assert(size > 0);
assert 1063 common/str.c assert(dlen > 0);
assert 1174 common/str.c assert(dlen > 0);
assert 125 common/strtol.c assert(nptr != NULL);
assert 126 common/strtol.c assert(sgn != NULL);
assert 366 common/strtol.c assert(result != NULL);
assert 401 common/strtol.c assert(result != NULL);
assert 436 common/strtol.c assert(result != NULL);
assert 471 common/strtol.c assert(result != NULL);
assert 506 common/strtol.c assert(result != NULL);
assert 541 common/strtol.c assert(result != NULL);
assert 66 kernel/arch/amd64/src/ddi/ddi.c assert(TASK->arch.iomap.bits);
assert 157 kernel/arch/amd64/src/interrupt.c assert(n >= IVT_IRQBASE);
assert 161 kernel/arch/amd64/src/interrupt.c assert(inum < IRQ_COUNT);
assert 162 kernel/arch/amd64/src/interrupt.c assert(inum != IRQ_PIC1);
assert 516 kernel/arch/amd64/src/smp/apic.c assert(CPU->id < 8);
assert 76 kernel/arch/amd64/src/smp/mps.c assert(i < processor_entry_cnt);
assert 83 kernel/arch/amd64/src/smp/mps.c assert(i < processor_entry_cnt);
assert 98 kernel/arch/amd64/src/smp/mps.c assert(i < processor_entry_cnt);
assert 86 kernel/arch/amd64/src/smp/smp.c assert(ops != NULL);
assert 87 kernel/arch/amd64/src/smp/smp.c assert(cpus != NULL);
assert 105 kernel/arch/amd64/src/smp/smp.c assert(ops != NULL);
assert 193 kernel/arch/amd64/src/smp/smp.c assert(ops != NULL);
assert 105 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c assert(beagleboard.irc_addr);
assert 102 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c assert(bbone.irc_addr != NULL);
assert 103 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c assert(bbone.cm_per_addr != NULL);
assert 104 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c assert(bbone.cm_dpll_addr != NULL);
assert 105 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c assert(bbone.ctrl_module != NULL);
assert 106 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c assert(raspi.irc);
assert 66 kernel/arch/ia32/src/ddi/ddi.c assert(TASK->arch.iomap.bits);
assert 178 kernel/arch/ia32/src/interrupt.c assert(n >= IVT_IRQBASE);
assert 182 kernel/arch/ia32/src/interrupt.c assert(inum < IRQ_COUNT);
assert 183 kernel/arch/ia32/src/interrupt.c assert(inum != IRQ_PIC1);
assert 516 kernel/arch/ia32/src/smp/apic.c assert(CPU->id < 8);
assert 76 kernel/arch/ia32/src/smp/mps.c assert(i < processor_entry_cnt);
assert 83 kernel/arch/ia32/src/smp/mps.c assert(i < processor_entry_cnt);
assert 98 kernel/arch/ia32/src/smp/mps.c assert(i < processor_entry_cnt);
assert 86 kernel/arch/ia32/src/smp/smp.c assert(ops != NULL);
assert 87 kernel/arch/ia32/src/smp/smp.c assert(cpus != NULL);
assert 105 kernel/arch/ia32/src/smp/smp.c assert(ops != NULL);
assert 193 kernel/arch/ia32/src/smp/smp.c assert(ops != NULL);
assert 239 kernel/arch/ia64/include/arch/mm/page.h assert(i < REGION_REGISTERS);
assert 257 kernel/arch/ia64/include/arch/mm/page.h assert(i < REGION_REGISTERS);
assert 256 kernel/arch/ia64/src/drivers/ski.c assert(instance);
assert 257 kernel/arch/ia64/src/drivers/ski.c assert(srlnin);
assert 123 kernel/arch/ia64/src/interrupt.c assert(n <= VECTOR_MAX);
assert 61 kernel/arch/ia64/src/mm/as.c assert(as->asid != ASID_INVALID);
assert 168 kernel/arch/ia64/src/mm/page.c assert(v);
assert 215 kernel/arch/ia64/src/mm/page.c assert(v);
assert 449 kernel/arch/ia64/src/mm/tlb.c assert(t->x);
assert 489 kernel/arch/ia64/src/mm/tlb.c assert(istate_from_uspace(istate));
assert 495 kernel/arch/ia64/src/mm/tlb.c assert(t.p);
assert 607 kernel/arch/ia64/src/mm/tlb.c assert(t.p);
assert 636 kernel/arch/ia64/src/mm/tlb.c assert(false);
assert 658 kernel/arch/ia64/src/mm/tlb.c assert(found);
assert 659 kernel/arch/ia64/src/mm/tlb.c assert(t.p);
assert 685 kernel/arch/ia64/src/mm/tlb.c assert(istate_from_uspace(istate));
assert 691 kernel/arch/ia64/src/mm/tlb.c assert(found);
assert 692 kernel/arch/ia64/src/mm/tlb.c assert(t.p);
assert 726 kernel/arch/ia64/src/mm/tlb.c assert(found);
assert 727 kernel/arch/ia64/src/mm/tlb.c assert(t.p);
assert 757 kernel/arch/ia64/src/mm/tlb.c assert(istate_from_uspace(istate));
assert 766 kernel/arch/ia64/src/mm/tlb.c assert(found);
assert 767 kernel/arch/ia64/src/mm/tlb.c assert(t.p);
assert 768 kernel/arch/ia64/src/mm/tlb.c assert(!t.w);
assert 784 kernel/arch/ia64/src/mm/tlb.c assert(istate_from_uspace(istate));
assert 790 kernel/arch/ia64/src/mm/tlb.c assert(found);
assert 122 kernel/arch/mips32/src/exception.c assert(THREAD);
assert 162 kernel/arch/mips32/src/mm/tlb.c assert(!index.p);
assert 325 kernel/arch/mips32/src/mm/tlb.c assert(interrupts_disabled());
assert 358 kernel/arch/mips32/src/mm/tlb.c assert(interrupts_disabled());
assert 359 kernel/arch/mips32/src/mm/tlb.c assert(asid != ASID_INVALID);
assert 400 kernel/arch/mips32/src/mm/tlb.c assert(interrupts_disabled());
assert 82 kernel/arch/ppc32/src/mm/pht.c assert(found);
assert 83 kernel/arch/ppc32/src/mm/pht.c assert(pte->present);
assert 176 kernel/arch/sparc64/src/drivers/pci.c assert(str_cmp(ofw_tree_node_name(node), "pci") == 0);
assert 211 kernel/arch/sparc64/src/drivers/pci.c assert(pci->op && pci->op->enable_interrupt);
assert 219 kernel/arch/sparc64/src/drivers/pci.c assert(pci->op && pci->op->clear_interrupt);
assert 95 kernel/arch/sparc64/src/drivers/tick.c assert(n == TT_INTERRUPT_LEVEL_14);
assert 100 kernel/arch/sparc64/src/drivers/tick.c assert(softint.tick_int);
assert 133 kernel/arch/sparc64/src/mm/sun4u/as.c assert(as->arch.itsb);
assert 134 kernel/arch/sparc64/src/mm/sun4u/as.c assert(as->arch.dtsb);
assert 205 kernel/arch/sparc64/src/mm/sun4u/as.c assert(as->arch.itsb);
assert 206 kernel/arch/sparc64/src/mm/sun4u/as.c assert(as->arch.dtsb);
assert 204 kernel/arch/sparc64/src/mm/sun4u/tlb.c assert(t.p);
assert 261 kernel/arch/sparc64/src/mm/sun4u/tlb.c assert(t.p);
assert 304 kernel/arch/sparc64/src/mm/sun4u/tlb.c assert(t.p);
assert 60 kernel/arch/sparc64/src/mm/sun4u/tsb.c assert(as->arch.itsb);
assert 61 kernel/arch/sparc64/src/mm/sun4u/tsb.c assert(as->arch.dtsb);
assert 87 kernel/arch/sparc64/src/mm/sun4u/tsb.c assert(index <= 1);
assert 131 kernel/arch/sparc64/src/mm/sun4u/tsb.c assert(index <= 1);
assert 124 kernel/arch/sparc64/src/mm/sun4v/as.c assert(as->arch.tsb_description.tsb_base);
assert 163 kernel/arch/sparc64/src/mm/sun4v/as.c assert(as->arch.tsb_description.tsb_base);
assert 218 kernel/arch/sparc64/src/mm/sun4v/tlb.c assert(t.p);
assert 268 kernel/arch/sparc64/src/mm/sun4v/tlb.c assert(t.p);
assert 306 kernel/arch/sparc64/src/mm/sun4v/tlb.c assert(t.p);
assert 348 kernel/arch/sparc64/src/mm/sun4v/tlb.c assert(mmu_fsas[myid].dft < 16);
assert 62 kernel/arch/sparc64/src/mm/sun4v/tsb.c assert(as->arch.tsb_description.tsb_base);
assert 105 kernel/arch/sparc64/src/smp/sun4u/ipi.c assert(!(pstate_read() & PSTATE_IE_BIT));
assert 214 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h assert(timer);
assert 251 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h assert(timer);
assert 252 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h assert(timer->regs);
assert 261 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h assert(timer);
assert 262 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h assert(timer->regs);
assert 246 kernel/genarch/include/genarch/drivers/omap/irc.h assert(inum < OMAP_IRC_IRQ_COUNT);
assert 259 kernel/genarch/include/genarch/drivers/omap/irc.h assert(inum < OMAP_IRC_IRQ_COUNT);
assert 84 kernel/genarch/src/acpi/madt.c assert(i < madt_l_apic_entry_cnt);
assert 92 kernel/genarch/src/acpi/madt.c assert(i < madt_l_apic_entry_cnt);
assert 108 kernel/genarch/src/acpi/madt.c assert(i < madt_l_apic_entry_cnt);
assert 178 kernel/genarch/src/acpi/madt.c assert(override->source < sizeof(isa_irq_map) / sizeof(int));
assert 94 kernel/genarch/src/drivers/am335x/timer.c assert(id < TIMERS_MAX);
assert 95 kernel/genarch/src/drivers/am335x/timer.c assert(timer != NULL);
assert 105 kernel/genarch/src/drivers/am335x/timer.c assert(timer->regs != NULL);
assert 129 kernel/genarch/src/drivers/bcm2835/irc.c assert(inum < BCM2835_IRQ_COUNT);
assert 135 kernel/genarch/src/drivers/bcm2835/irc.c assert(inum < BCM2835_IRQ_COUNT);
assert 138 kernel/genarch/src/drivers/bcm2835/mbox.c assert(mbox);
assert 43 kernel/genarch/src/drivers/bcm2835/timer.c assert(timer);
assert 52 kernel/genarch/src/drivers/bcm2835/timer.c assert(timer);
assert 76 kernel/genarch/src/drivers/dsrln/dsrlnin.c assert(instance);
assert 77 kernel/genarch/src/drivers/dsrln/dsrlnin.c assert(srlnin);
assert 90 kernel/genarch/src/drivers/gicv2/gicv2.c assert((inum & ~((unsigned) GICV2C_IAR_INTERRUPT_ID_MASK >>
assert 92 kernel/genarch/src/drivers/gicv2/gicv2.c assert((cpuid & ~((unsigned) GICV2C_IAR_CPUID_MASK >>
assert 103 kernel/genarch/src/drivers/gicv2/gicv2.c assert(inum < irqc->inum_total);
assert 111 kernel/genarch/src/drivers/gicv2/gicv2.c assert(inum < irqc->inum_total);
assert 125 kernel/genarch/src/drivers/i8042/i8042.c assert(instance);
assert 126 kernel/genarch/src/drivers/i8042/i8042.c assert(kbrdin);
assert 224 kernel/genarch/src/drivers/ns16550/ns16550.c assert(instance);
assert 225 kernel/genarch/src/drivers/ns16550/ns16550.c assert(input);
assert 89 kernel/genarch/src/drivers/omap/uart.c assert(uart);
assert 93 kernel/genarch/src/drivers/omap/uart.c assert(uart->regs);
assert 177 kernel/genarch/src/drivers/omap/uart.c assert(uart);
assert 104 kernel/genarch/src/drivers/pl011/pl011.c assert(uart);
assert 107 kernel/genarch/src/drivers/pl011/pl011.c assert(uart->regs);
assert 149 kernel/genarch/src/drivers/pl011/pl011.c assert(uart);
assert 150 kernel/genarch/src/drivers/pl011/pl011.c assert(indev);
assert 162 kernel/genarch/src/drivers/s3c24xx/uart.c assert(uart);
assert 163 kernel/genarch/src/drivers/s3c24xx/uart.c assert(indev);
assert 124 kernel/genarch/src/drivers/via-cuda/cuda.c assert(instance);
assert 125 kernel/genarch/src/drivers/via-cuda/cuda.c assert(kbrdin);
assert 352 kernel/genarch/src/drivers/via-cuda/cuda.c assert(instance->xstate == cx_listen);
assert 538 kernel/genarch/src/fb/fb.c assert(props);
assert 539 kernel/genarch/src/fb/fb.c assert(props->x > 0);
assert 540 kernel/genarch/src/fb/fb.c assert(props->y > 0);
assert 541 kernel/genarch/src/fb/fb.c assert(props->scan > 0);
assert 198 kernel/genarch/src/kbrd/kbrd.c assert(instance);
assert 199 kernel/genarch/src/kbrd/kbrd.c assert(sink);
assert 196 kernel/genarch/src/kbrd/kbrd_at.c assert(instance);
assert 197 kernel/genarch/src/kbrd/kbrd_at.c assert(sink);
assert 80 kernel/genarch/src/mm/asid.c assert(interrupts_disabled());
assert 81 kernel/genarch/src/mm/asid.c assert(spinlock_locked(&asidlock));
assert 100 kernel/genarch/src/mm/asid.c assert(tmp != NULL);
assert 110 kernel/genarch/src/mm/asid.c assert(asid != ASID_INVALID);
assert 136 kernel/genarch/src/mm/page_ht.c assert(item);
assert 161 kernel/genarch/src/mm/page_ht.c assert(page_table_locked(as));
assert 167 kernel/genarch/src/mm/page_ht.c assert(pte != NULL);
assert 211 kernel/genarch/src/mm/page_ht.c assert(page_table_locked(as));
assert 231 kernel/genarch/src/mm/page_ht.c assert(nolock || page_table_locked(as));
assert 277 kernel/genarch/src/mm/page_ht.c assert(pte->as == t->as);
assert 278 kernel/genarch/src/mm/page_ht.c assert(pte->page == t->page);
assert 279 kernel/genarch/src/mm/page_ht.c assert(pte->frame == t->frame);
assert 280 kernel/genarch/src/mm/page_ht.c assert(pte->g == t->g);
assert 281 kernel/genarch/src/mm/page_ht.c assert(pte->x == t->x);
assert 282 kernel/genarch/src/mm/page_ht.c assert(pte->w == t->w);
assert 283 kernel/genarch/src/mm/page_ht.c assert(pte->k == t->k);
assert 284 kernel/genarch/src/mm/page_ht.c assert(pte->c == t->c);
assert 285 kernel/genarch/src/mm/page_ht.c assert(pte->p == t->p);
assert 84 kernel/genarch/src/mm/page_pt.c assert(page_table_locked(as));
assert 162 kernel/genarch/src/mm/page_pt.c assert(page_table_locked(as));
assert 296 kernel/genarch/src/mm/page_pt.c assert(nolock || page_table_locked(as));
assert 361 kernel/genarch/src/mm/page_pt.c assert(PTE_VALID(t) == PTE_VALID(pte));
assert 362 kernel/genarch/src/mm/page_pt.c assert(PTE_PRESENT(t) == PTE_PRESENT(pte));
assert 363 kernel/genarch/src/mm/page_pt.c assert(PTE_GET_FRAME(t) == PTE_GET_FRAME(pte));
assert 364 kernel/genarch/src/mm/page_pt.c assert(PTE_WRITABLE(t) == PTE_WRITABLE(pte));
assert 365 kernel/genarch/src/mm/page_pt.c assert(PTE_EXECUTABLE(t) == PTE_EXECUTABLE(pte));
assert 401 kernel/genarch/src/mm/page_pt.c assert(size > 0);
assert 419 kernel/genarch/src/mm/page_pt.c assert(overlaps(addr, ptl0_step,
assert 96 kernel/genarch/src/ofw/ebus.c assert(count);
assert 104 kernel/genarch/src/ofw/ebus.c assert(prop->size == sizeof(ofw_ebus_intr_mask_t));
assert 154 kernel/genarch/src/srln/srln.c assert(instance);
assert 155 kernel/genarch/src/srln/srln.c assert(sink);
assert 114 kernel/generic/common/adt/bitmap.c assert(start + count <= bitmap->elements);
assert 168 kernel/generic/common/adt/bitmap.c assert(start + count <= bitmap->elements);
assert 224 kernel/generic/common/adt/bitmap.c assert(count <= dst->elements);
assert 225 kernel/generic/common/adt/bitmap.c assert(count <= src->elements);
assert 94 kernel/generic/common/adt/hash_table.c assert(h);
assert 95 kernel/generic/common/adt/hash_table.c assert(op && op->hash && op->key_hash && op->key_equal);
assert 122 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 123 kernel/generic/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 136 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 143 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 153 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 154 kernel/generic/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 174 kernel/generic/common/adt/hash_table.c assert(cur);
assert 192 kernel/generic/common/adt/hash_table.c assert(item);
assert 193 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 194 kernel/generic/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 213 kernel/generic/common/adt/hash_table.c assert(item);
assert 214 kernel/generic/common/adt/hash_table.c assert(h && h->bucket && h->bucket_cnt);
assert 215 kernel/generic/common/adt/hash_table.c assert(h->op && h->op->hash && h->op->equal);
assert 216 kernel/generic/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 247 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 269 kernel/generic/common/adt/hash_table.c assert(item);
assert 270 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 277 kernel/generic/common/adt/hash_table.c assert(cur);
assert 308 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 309 kernel/generic/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 336 kernel/generic/common/adt/hash_table.c assert(item);
assert 337 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 338 kernel/generic/common/adt/hash_table.c assert(link_in_use(&item->link));
assert 359 kernel/generic/common/adt/hash_table.c assert(f);
assert 360 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 400 kernel/generic/common/adt/hash_table.c assert(pbuckets && HT_MIN_BUCKETS <= bucket_cnt);
assert 440 kernel/generic/common/adt/hash_table.c assert(h && h->bucket);
assert 441 kernel/generic/common/adt/hash_table.c assert(HT_MIN_BUCKETS <= new_bucket_cnt);
assert 214 kernel/generic/common/adt/odict.c assert(odict->root == NULL);
assert 248 kernel/generic/common/adt/odict.c assert(!odlink_used(odlink));
assert 323 kernel/generic/common/adt/odict.c assert(pcs == gcs);
assert 355 kernel/generic/common/adt/odict.c assert(n != NULL);
assert 362 kernel/generic/common/adt/odict.c assert(odlink->b == NULL);
assert 370 kernel/generic/common/adt/odict.c assert(c == NULL);
assert 387 kernel/generic/common/adt/odict.c assert(c == NULL);
assert 404 kernel/generic/common/adt/odict.c assert(p->color == odc_black);
assert 413 kernel/generic/common/adt/odict.c assert(s->color == odc_black);
assert 475 kernel/generic/common/adt/odict.c assert(s->color == odc_black);
assert 476 kernel/generic/common/adt/odict.c assert(sc != NULL);
assert 477 kernel/generic/common/adt/odict.c assert(sc->color == odc_red);
assert 787 kernel/generic/common/adt/odict.c assert((*p)->b == n);
assert 802 kernel/generic/common/adt/odict.c assert((*g)->b == *p);
assert 839 kernel/generic/common/adt/odict.c assert(q != NULL);
assert 868 kernel/generic/common/adt/odict.c assert(p != NULL);
assert 904 kernel/generic/common/adt/odict.c assert(a->up->b == a);
assert 921 kernel/generic/common/adt/odict.c assert(b->up->b == b);
assert 988 kernel/generic/common/adt/odict.c assert(old->up->b == old);
assert 992 kernel/generic/common/adt/odict.c assert(old->odict->root == old);
assert 1009 kernel/generic/common/adt/odict.c assert(n->up->b == n);
assert 1015 kernel/generic/common/adt/odict.c assert(n->odict->root == n);
assert 1079 kernel/generic/common/adt/odict.c assert(hint == NULL || hint->odict == odict);
assert 134 kernel/generic/common/include/adt/list.h assert(!link_used(link))
assert 454 kernel/generic/common/include/adt/list.h assert(link->prev != NULL && link->next != NULL);
assert 601 kernel/generic/common/printf/printf_core.c assert(val.is_special);
assert 663 kernel/generic/common/printf/printf_core.c assert(1 <= *len);
assert 712 kernel/generic/common/printf/printf_core.c assert(0 < len);
assert 713 kernel/generic/common/printf/printf_core.c assert(0 <= precision);
assert 714 kernel/generic/common/printf/printf_core.c assert(0 <= dec_exp || -dec_exp <= precision);
assert 946 kernel/generic/common/printf/printf_core.c assert(0 < len);
assert 1149 kernel/generic/common/printf/printf_core.c assert(0 < len);
assert 1165 kernel/generic/common/printf/printf_core.c assert(0 < len);
assert 1237 kernel/generic/common/printf/printf_core.c assert(false);
assert 839 kernel/generic/common/str.c assert(size > 0);
assert 840 kernel/generic/common/str.c assert(src != NULL);
assert 873 kernel/generic/common/str.c assert(size > 0);
assert 943 kernel/generic/common/str.c assert(size > 0);
assert 957 kernel/generic/common/str.c assert(rc == EOVERFLOW);
assert 989 kernel/generic/common/str.c assert(size > 0);
assert 1021 kernel/generic/common/str.c assert(size > 0);
assert 1063 kernel/generic/common/str.c assert(dlen > 0);
assert 1174 kernel/generic/common/str.c assert(dlen > 0);
assert 125 kernel/generic/common/strtol.c assert(nptr != NULL);
assert 126 kernel/generic/common/strtol.c assert(sgn != NULL);
assert 366 kernel/generic/common/strtol.c assert(result != NULL);
assert 401 kernel/generic/common/strtol.c assert(result != NULL);
assert 436 kernel/generic/common/strtol.c assert(result != NULL);
assert 471 kernel/generic/common/strtol.c assert(result != NULL);
assert 506 kernel/generic/common/strtol.c assert(result != NULL);
assert 541 kernel/generic/common/strtol.c assert(result != NULL);
assert 43 kernel/generic/include/ipc/sysipc_ops.h assert(ops->op); \
assert 78 kernel/generic/include/lib/refcount.h assert(old >= 0);
assert 106 kernel/generic/include/lib/refcount.h assert(val == -1);
assert 128 kernel/generic/include/lib/refcount.h assert(old >= 0);
assert 136 kernel/generic/include/lib/refcount.h assert(val == -1);
assert 56 kernel/generic/include/preemption.h assert(PREEMPTION_DISABLED); \
assert 110 kernel/generic/include/synch/spinlock.h #define ASSERT_SPINLOCK(expr, lock) assert(expr)
assert 243 kernel/generic/src/cap/cap.c assert(mutex_locked(&task->cap_info->lock));
assert 305 kernel/generic/src/cap/cap.c assert(cap);
assert 396 kernel/generic/src/cap/cap.c assert(cap_handle_raw(handle) >= CAPS_START);
assert 397 kernel/generic/src/cap/cap.c assert(cap_handle_raw(handle) <= CAPS_LAST);
assert 402 kernel/generic/src/cap/cap.c assert(cap);
assert 69 kernel/generic/src/console/chardev.c assert(indev);
assert 908 kernel/generic/src/console/cmd.c assert(uptime);
assert 193 kernel/generic/src/console/console.c assert((uintptr_t) faddr % FRAME_SIZE == 0);
assert 644 kernel/generic/src/console/kconsole.c assert(start != NULL);
assert 645 kernel/generic/src/console/kconsole.c assert(end != NULL);
assert 52 kernel/generic/src/console/prompt.c assert(indev);
assert 53 kernel/generic/src/console/prompt.c assert(hints > 0);
assert 84 kernel/generic/src/console/prompt.c assert(indev);
assert 85 kernel/generic/src/console/prompt.c assert(display_hints != NULL);
assert 55 kernel/generic/src/cpu/cpu_mask.c assert(NULL != cpus);
assert 56 kernel/generic/src/cpu/cpu_mask.c assert(cpu_cnt <= config.cpu_count);
assert 90 kernel/generic/src/cpu/cpu_mask.c assert(cpus);
assert 139 kernel/generic/src/ddi/ddi.c assert(TASK);
assert 246 kernel/generic/src/ddi/ddi.c assert(TASK);
assert 425 kernel/generic/src/ddi/ddi.c assert(TASK);
assert 435 kernel/generic/src/ddi/ddi.c assert(TASK);
assert 101 kernel/generic/src/ddi/irq.c assert(irq_cache);
assert 636 kernel/generic/src/debug/line.c assert(hdr.unit_end > debug_line_ptr);
assert 637 kernel/generic/src/debug/line.c assert(hdr.unit_end <= debug_line_end);
assert 658 kernel/generic/src/debug/line.c assert(lp.truncated || lp.end_sequence);
assert 719 kernel/generic/src/debug/line.c assert(hdr.unit_end > data);
assert 720 kernel/generic/src/debug/line.c assert(hdr.unit_end <= debug_line_end);
assert 229 kernel/generic/src/debug/util.h assert(data_end >= *data);
assert 85 kernel/generic/src/interrupt/interrupt.c assert(n < IVT_ITEMS);
assert 113 kernel/generic/src/interrupt/interrupt.c assert(n < IVT_ITEMS);
assert 62 kernel/generic/src/ipc/event.c assert(evno < EVENT_TASK_END);
assert 126 kernel/generic/src/ipc/event.c assert(evno < EVENT_END);
assert 134 kernel/generic/src/ipc/event.c assert(evno >= (int) EVENT_END);
assert 135 kernel/generic/src/ipc/event.c assert(evno < EVENT_TASK_END);
assert 210 kernel/generic/src/ipc/event.c assert(evno < EVENT_END);
assert 238 kernel/generic/src/ipc/event.c assert(evno >= (int) EVENT_END);
assert 239 kernel/generic/src/ipc/event.c assert(evno < EVENT_TASK_END);
assert 247 kernel/generic/src/ipc/ipc.c assert(!request->forget);
assert 273 kernel/generic/src/ipc/ipc.c assert(!answer || request == answer);
assert 485 kernel/generic/src/ipc/ipc.c assert(call);
assert 670 kernel/generic/src/ipc/ipc.c assert(phone->state == IPC_PHONE_CONNECTED);
assert 690 kernel/generic/src/ipc/ipc.c assert(call);
assert 714 kernel/generic/src/ipc/ipc.c assert(spinlock_locked(&TASK->active_calls_lock));
assert 715 kernel/generic/src/ipc/ipc.c assert(spinlock_locked(&call->forget_lock));
assert 795 kernel/generic/src/ipc/ipc.c assert(call);
assert 796 kernel/generic/src/ipc/ipc.c assert(call->flags & (IPC_CALL_ANSWERED | IPC_CALL_NOTIF));
assert 880 kernel/generic/src/ipc/ipc.c assert(atomic_load(&TASK->answerbox.active_calls) == 0);
assert 407 kernel/generic/src/ipc/irq.c assert(kobj->irq->notif_cfg.answerbox == box);
assert 526 kernel/generic/src/ipc/irq.c assert(irq);
assert 528 kernel/generic/src/ipc/irq.c assert(interrupts_disabled());
assert 529 kernel/generic/src/ipc/irq.c assert(irq_spinlock_locked(&irq->lock));
assert 61 kernel/generic/src/ipc/ops/dataread.c assert(!answer->buffer);
assert 75 kernel/generic/src/ipc/ops/datawrite.c assert(answer->buffer);
assert 172 kernel/generic/src/ipc/sysipc.c assert(answer->active);
assert 320 kernel/generic/src/ipc/sysipc.c assert(rc == EINTR);
assert 662 kernel/generic/src/ipc/sysipc.c assert(!(call->flags & IPC_CALL_ANSWERED));
assert 709 kernel/generic/src/ipc/sysipc.c assert(!(call->flags & IPC_CALL_ANSWERED));
assert 789 kernel/generic/src/ipc/sysipc.c assert(call);
assert 275 kernel/generic/src/lib/ra.c assert(seg->flags & RA_SEGMENT_FREE);
assert 293 kernel/generic/src/lib/ra.c assert(newbase + (size - 1) < seg->base +
assert 364 kernel/generic/src/lib/ra.c assert(!(seg->flags & RA_SEGMENT_FREE));
assert 365 kernel/generic/src/lib/ra.c assert(seg->base == base);
assert 366 kernel/generic/src/lib/ra.c assert(ra_segment_size_get(seg) == size);
assert 375 kernel/generic/src/lib/ra.c assert(pred->base < seg->base);
assert 396 kernel/generic/src/lib/ra.c assert(succ->base > seg->base);
assert 420 kernel/generic/src/lib/ra.c assert(size >= 1);
assert 421 kernel/generic/src/lib/ra.c assert(alignment >= 1);
assert 422 kernel/generic/src/lib/ra.c assert(ispwr2(alignment));
assert 59 kernel/generic/src/lib/rd.c assert((base % FRAME_SIZE) == 0);
assert 244 kernel/generic/src/main/kinit.c assert(page);
assert 278 kernel/generic/src/main/kinit.c assert(programs[i].task != NULL);
assert 210 kernel/generic/src/mm/as.c assert(as != AS);
assert 211 kernel/generic/src/mm/as.c assert(refcount_unique(&as->refcount));
assert 345 kernel/generic/src/mm/as.c assert((addr % PAGE_SIZE) == 0);
assert 385 kernel/generic/src/mm/as.c assert((addr % PAGE_SIZE) == 0);
assert 386 kernel/generic/src/mm/as.c assert(mutex_locked(&as->lock));
assert 479 kernel/generic/src/mm/as.c assert(mutex_locked(&as->lock));
assert 700 kernel/generic/src/mm/as.c assert(sh_info->refcount);
assert 865 kernel/generic/src/mm/as.c assert(mutex_locked(&as->lock));
assert 874 kernel/generic/src/mm/as.c assert(area->base <= va);
assert 970 kernel/generic/src/mm/as.c assert(ival != NULL);
assert 1013 kernel/generic/src/mm/as.c assert(found);
assert 1014 kernel/generic/src/mm/as.c assert(PTE_VALID(&pte));
assert 1015 kernel/generic/src/mm/as.c assert(PTE_PRESENT(&pte));
assert 1123 kernel/generic/src/mm/as.c assert(found);
assert 1124 kernel/generic/src/mm/as.c assert(PTE_VALID(&pte));
assert 1125 kernel/generic/src/mm/as.c assert(PTE_PRESENT(&pte));
assert 1309 kernel/generic/src/mm/as.c assert(mutex_locked(&area->lock));
assert 1427 kernel/generic/src/mm/as.c assert(found);
assert 1428 kernel/generic/src/mm/as.c assert(PTE_VALID(&pte));
assert 1429 kernel/generic/src/mm/as.c assert(PTE_PRESENT(&pte));
assert 1646 kernel/generic/src/mm/as.c assert(old_as->cpu_refcount);
assert 1655 kernel/generic/src/mm/as.c assert(old_as->asid != ASID_INVALID);
assert 1707 kernel/generic/src/mm/as.c assert(mutex_locked(&area->lock));
assert 1755 kernel/generic/src/mm/as.c assert(as_operations);
assert 1756 kernel/generic/src/mm/as.c assert(as_operations->page_table_create);
assert 1770 kernel/generic/src/mm/as.c assert(as_operations);
assert 1771 kernel/generic/src/mm/as.c assert(as_operations->page_table_destroy);
assert 1791 kernel/generic/src/mm/as.c assert(as_operations);
assert 1792 kernel/generic/src/mm/as.c assert(as_operations->page_table_lock);
assert 1805 kernel/generic/src/mm/as.c assert(as_operations);
assert 1806 kernel/generic/src/mm/as.c assert(as_operations->page_table_unlock);
assert 1820 kernel/generic/src/mm/as.c assert(as_operations);
assert 1821 kernel/generic/src/mm/as.c assert(as_operations->page_table_locked);
assert 1867 kernel/generic/src/mm/as.c assert(odict_empty(&used_space->ivals));
assert 2014 kernel/generic/src/mm/as.c assert(count > 0);
assert 2015 kernel/generic/src/mm/as.c assert(count < ival->count);
assert 2041 kernel/generic/src/mm/as.c assert(IS_ALIGNED(page, PAGE_SIZE));
assert 2042 kernel/generic/src/mm/as.c assert(count);
assert 2190 kernel/generic/src/mm/as.c assert(area_idx < area_cnt);
assert 115 kernel/generic/src/mm/backend_anon.c assert(mutex_locked(&area->as->lock));
assert 116 kernel/generic/src/mm/backend_anon.c assert(mutex_locked(&area->lock));
assert 117 kernel/generic/src/mm/backend_anon.c assert(!(area->flags & AS_AREA_LATE_RESERVE));
assert 138 kernel/generic/src/mm/backend_anon.c assert(found);
assert 139 kernel/generic/src/mm/backend_anon.c assert(PTE_VALID(&pte));
assert 140 kernel/generic/src/mm/backend_anon.c assert(PTE_PRESENT(&pte));
assert 189 kernel/generic/src/mm/backend_anon.c assert(page_table_locked(AS));
assert 190 kernel/generic/src/mm/backend_anon.c assert(mutex_locked(&area->lock));
assert 191 kernel/generic/src/mm/backend_anon.c assert(IS_ALIGNED(upage, PAGE_SIZE));
assert 277 kernel/generic/src/mm/backend_anon.c assert(page_table_locked(area->as));
assert 278 kernel/generic/src/mm/backend_anon.c assert(mutex_locked(&area->lock));
assert 159 kernel/generic/src/mm/backend_elf.c assert(mutex_locked(&area->as->lock));
assert 160 kernel/generic/src/mm/backend_elf.c assert(mutex_locked(&area->lock));
assert 209 kernel/generic/src/mm/backend_elf.c assert(found);
assert 210 kernel/generic/src/mm/backend_elf.c assert(PTE_VALID(&pte));
assert 211 kernel/generic/src/mm/backend_elf.c assert(PTE_PRESENT(&pte));
assert 270 kernel/generic/src/mm/backend_elf.c assert(page_table_locked(AS));
assert 271 kernel/generic/src/mm/backend_elf.c assert(mutex_locked(&area->lock));
assert 272 kernel/generic/src/mm/backend_elf.c assert(IS_ALIGNED(upage, PAGE_SIZE));
assert 342 kernel/generic/src/mm/backend_elf.c assert(found);
assert 343 kernel/generic/src/mm/backend_elf.c assert(PTE_PRESENT(&pte));
assert 422 kernel/generic/src/mm/backend_elf.c assert(page_table_locked(area->as));
assert 423 kernel/generic/src/mm/backend_elf.c assert(mutex_locked(&area->lock));
assert 427 kernel/generic/src/mm/backend_elf.c assert(elfpage >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE));
assert 428 kernel/generic/src/mm/backend_elf.c assert(elfpage < entry->p_vaddr + entry->p_memsz);
assert 97 kernel/generic/src/mm/backend_phys.c assert(mutex_locked(&area->as->lock));
assert 98 kernel/generic/src/mm/backend_phys.c assert(mutex_locked(&area->lock));
assert 138 kernel/generic/src/mm/backend_phys.c assert(page_table_locked(AS));
assert 139 kernel/generic/src/mm/backend_phys.c assert(mutex_locked(&area->lock));
assert 140 kernel/generic/src/mm/backend_phys.c assert(IS_ALIGNED(upage, PAGE_SIZE));
assert 145 kernel/generic/src/mm/backend_phys.c assert(upage - area->base < area->backend_data.frames * FRAME_SIZE);
assert 112 kernel/generic/src/mm/backend_user.c assert(page_table_locked(AS));
assert 113 kernel/generic/src/mm/backend_user.c assert(mutex_locked(&area->lock));
assert 114 kernel/generic/src/mm/backend_user.c assert(IS_ALIGNED(upage, PAGE_SIZE));
assert 166 kernel/generic/src/mm/backend_user.c assert(page_table_locked(area->as));
assert 167 kernel/generic/src/mm/backend_user.c assert(mutex_locked(&area->lock));
assert 350 kernel/generic/src/mm/frame.c assert(index < zone->count);
assert 371 kernel/generic/src/mm/frame.c assert(zone->flags & ZONE_AVAILABLE);
assert 372 kernel/generic/src/mm/frame.c assert(zone->free_count >= count);
assert 380 kernel/generic/src/mm/frame.c assert(avail);
assert 381 kernel/generic/src/mm/frame.c assert(index != (size_t) -1);
assert 387 kernel/generic/src/mm/frame.c assert(frame->refcount == 0);
assert 410 kernel/generic/src/mm/frame.c assert(zone->flags & ZONE_AVAILABLE);
assert 413 kernel/generic/src/mm/frame.c assert(frame->refcount > 0);
assert 416 kernel/generic/src/mm/frame.c assert(zone->busy_count > 0);
assert 433 kernel/generic/src/mm/frame.c assert(zone->flags & ZONE_AVAILABLE);
assert 436 kernel/generic/src/mm/frame.c assert(frame->refcount <= 1);
assert 441 kernel/generic/src/mm/frame.c assert(zone->free_count > 0);
assert 453 kernel/generic/src/mm/frame.c assert(zone->flags & ZONE_AVAILABLE);
assert 456 kernel/generic/src/mm/frame.c assert(frame->refcount == 1);
assert 478 kernel/generic/src/mm/frame.c assert(zones.info[z1].flags & ZONE_AVAILABLE);
assert 479 kernel/generic/src/mm/frame.c assert(zones.info[z2].flags & ZONE_AVAILABLE);
assert 480 kernel/generic/src/mm/frame.c assert(zones.info[z1].flags == zones.info[z2].flags);
assert 481 kernel/generic/src/mm/frame.c assert(zones.info[z1].base < zones.info[z2].base);
assert 482 kernel/generic/src/mm/frame.c assert(!overlaps(zones.info[z1].base, zones.info[z1].count,
assert 541 kernel/generic/src/mm/frame.c assert(zones.info[znum].flags & ZONE_AVAILABLE);
assert 736 kernel/generic/src/mm/frame.c assert(confframe != ADDR2PFN((uintptr_t) NULL));
assert 824 kernel/generic/src/mm/frame.c assert(znum != (size_t) -1);
assert 838 kernel/generic/src/mm/frame.c assert(znum != (size_t) -1);
assert 876 kernel/generic/src/mm/frame.c assert(count > 0);
assert 1018 kernel/generic/src/mm/frame.c assert(znum != (size_t) -1);
assert 1078 kernel/generic/src/mm/frame.c assert(znum != (size_t) -1);
assert 1199 kernel/generic/src/mm/frame.c assert(total != NULL);
assert 1200 kernel/generic/src/mm/frame.c assert(unavail != NULL);
assert 1201 kernel/generic/src/mm/frame.c assert(busy != NULL);
assert 1202 kernel/generic/src/mm/frame.c assert(free != NULL);
assert 97 kernel/generic/src/mm/km.c assert(km_ni_arena != NULL);
assert 114 kernel/generic/src/mm/km.c assert(span_added);
assert 141 kernel/generic/src/mm/km.c assert(ALIGN_DOWN(paddr, FRAME_SIZE) == paddr);
assert 142 kernel/generic/src/mm/km.c assert(ALIGN_UP(size, FRAME_SIZE) == size);
assert 143 kernel/generic/src/mm/km.c assert(ispwr2(align));
assert 163 kernel/generic/src/mm/km.c assert(ALIGN_DOWN(vaddr, PAGE_SIZE) == vaddr);
assert 164 kernel/generic/src/mm/km.c assert(ALIGN_UP(size, PAGE_SIZE) == size);
assert 250 kernel/generic/src/mm/km.c assert(THREAD);
assert 251 kernel/generic/src/mm/km.c assert(framep);
assert 252 kernel/generic/src/mm/km.c assert(!(flags & ~(FRAME_NO_RESERVE | FRAME_ATOMIC)));
assert 282 kernel/generic/src/mm/km.c assert(THREAD);
assert 87 kernel/generic/src/mm/malloc.c assert(size);
assert 88 kernel/generic/src/mm/malloc.c assert(alignment);
assert 95 kernel/generic/src/mm/malloc.c assert(ispwr2(*alignment));
assert 96 kernel/generic/src/mm/malloc.c assert(*alignment <= PAGE_SIZE);
assert 109 kernel/generic/src/mm/malloc.c assert(size > 0);
assert 110 kernel/generic/src/mm/malloc.c assert(size <= (1 << SLAB_MAX_MALLOC_W));
assert 114 kernel/generic/src/mm/malloc.c assert(idx < sizeof(malloc_caches) / sizeof(malloc_caches[0]));
assert 118 kernel/generic/src/mm/malloc.c assert(cache != NULL);
assert 132 kernel/generic/src/mm/malloc.c assert(size <= (1 << SLAB_MAX_MALLOC_W));
assert 142 kernel/generic/src/mm/malloc.c assert(old_ptr);
assert 147 kernel/generic/src/mm/malloc.c assert(new_size <= (1 << SLAB_MAX_MALLOC_W));
assert 179 kernel/generic/src/mm/malloc.c assert(size <= (1 << SLAB_MAX_MALLOC_W));
assert 100 kernel/generic/src/mm/page.c assert(page_table_locked(as));
assert 102 kernel/generic/src/mm/page.c assert(page_mapping_operations);
assert 103 kernel/generic/src/mm/page.c assert(page_mapping_operations->mapping_insert);
assert 124 kernel/generic/src/mm/page.c assert(page_table_locked(as));
assert 126 kernel/generic/src/mm/page.c assert(page_mapping_operations);
assert 127 kernel/generic/src/mm/page.c assert(page_mapping_operations->mapping_remove);
assert 149 kernel/generic/src/mm/page.c assert(nolock || page_table_locked(as));
assert 151 kernel/generic/src/mm/page.c assert(page_mapping_operations);
assert 152 kernel/generic/src/mm/page.c assert(page_mapping_operations->mapping_find);
assert 170 kernel/generic/src/mm/page.c assert(nolock || page_table_locked(as));
assert 172 kernel/generic/src/mm/page.c assert(page_mapping_operations);
assert 173 kernel/generic/src/mm/page.c assert(page_mapping_operations->mapping_find);
assert 186 kernel/generic/src/mm/page.c assert(page_mapping_operations);
assert 187 kernel/generic/src/mm/page.c assert(page_mapping_operations->mapping_make_global);
assert 74 kernel/generic/src/mm/reserve.c assert(reserve_initialized);
assert 242 kernel/generic/src/mm/slab.c assert(slab->cache == cache);
assert 250 kernel/generic/src/mm/slab.c assert(slab->available < cache->objects);
assert 399 kernel/generic/src/mm/slab.c assert(irq_spinlock_locked(&cache->mag_cache[CPU->id].lock));
assert 466 kernel/generic/src/mm/slab.c assert(irq_spinlock_locked(&cache->mag_cache[CPU->id].lock));
assert 568 kernel/generic/src/mm/slab.c assert(_slab_initialized >= 2);
assert 591 kernel/generic/src/mm/slab.c assert(size > 0);
assert 154 kernel/generic/src/mm/tlb.c assert(CPU);
assert 161 kernel/generic/src/mm/tlb.c assert(CPU->tlb_messages_count <= TLB_MESSAGE_QUEUE_LEN);
assert 178 kernel/generic/src/mm/tlb.c assert(count);
assert 75 kernel/generic/src/proc/current.c assert(src->magic == MAGIC);
assert 118 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 119 kernel/generic/src/proc/scheduler.c assert(CPU != NULL);
assert 165 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 166 kernel/generic/src/proc/scheduler.c assert(CPU != NULL);
assert 227 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 312 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&THREAD->cpu) == CPU);
assert 385 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 386 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&thread->state) == Running);
assert 387 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&thread->cpu) == CPU);
assert 405 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&thread->state) == Sleeping || atomic_get_unordered(&thread->state) == Entering);
assert 425 kernel/generic/src/proc/scheduler.c assert(CURRENT->mutex_locks == 0);
assert 426 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 454 kernel/generic/src/proc/scheduler.c assert(expected == SLEEP_WOKE);
assert 475 kernel/generic/src/proc/scheduler.c assert(CPU != NULL);
assert 476 kernel/generic/src/proc/scheduler.c assert(THREAD != NULL);
assert 523 kernel/generic/src/proc/scheduler.c assert(CURRENT->mutex_locks == 0);
assert 524 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 545 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 547 kernel/generic/src/proc/scheduler.c assert(CPU != NULL);
assert 548 kernel/generic/src/proc/scheduler.c assert(TASK == NULL);
assert 549 kernel/generic/src/proc/scheduler.c assert(THREAD == NULL);
assert 550 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 553 kernel/generic/src/proc/scheduler.c assert(CURRENT->mutex_locks == 0);
assert 569 kernel/generic/src/proc/scheduler.c assert(CPU != NULL);
assert 570 kernel/generic/src/proc/scheduler.c assert(THREAD != NULL);
assert 571 kernel/generic/src/proc/scheduler.c assert(CURRENT->mutex_locks == 0);
assert 572 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 593 kernel/generic/src/proc/scheduler.c assert(interrupts_disabled());
assert 455 kernel/generic/src/proc/task.c assert(interrupts_disabled());
assert 456 kernel/generic/src/proc/task.c assert(irq_spinlock_locked(&tasks_lock));
assert 469 kernel/generic/src/proc/task.c assert(interrupts_disabled());
assert 470 kernel/generic/src/proc/task.c assert(irq_spinlock_locked(&tasks_lock));
assert 488 kernel/generic/src/proc/task.c assert(interrupts_disabled());
assert 489 kernel/generic/src/proc/task.c assert(irq_spinlock_locked(&tasks_lock));
assert 510 kernel/generic/src/proc/task.c assert(interrupts_disabled());
assert 511 kernel/generic/src/proc/task.c assert(irq_spinlock_locked(&task->lock));
assert 210 kernel/generic/src/proc/thread.c assert(atomic_get_unordered(&thread->state) == Entering);
assert 314 kernel/generic/src/proc/thread.c assert(thread->task);
assert 340 kernel/generic/src/proc/thread.c assert((atomic_get_unordered(&thread->state) == Exiting) || (atomic_get_unordered(&thread->state) == Lingering));
assert 467 kernel/generic/src/proc/thread.c assert(thread != NULL);
assert 482 kernel/generic/src/proc/thread.c assert(THREAD != NULL);
assert 536 kernel/generic/src/proc/thread.c assert(THREAD != NULL);
assert 562 kernel/generic/src/proc/thread.c assert(thread != NULL);
assert 582 kernel/generic/src/proc/thread.c assert(THREAD);
assert 593 kernel/generic/src/proc/thread.c assert(THREAD);
assert 594 kernel/generic/src/proc/thread.c assert(THREAD->nomigrate > 0);
assert 640 kernel/generic/src/proc/thread.c assert(thread != NULL);
assert 677 kernel/generic/src/proc/thread.c assert(THREAD != NULL);
assert 791 kernel/generic/src/proc/thread.c assert(interrupts_disabled());
assert 821 kernel/generic/src/proc/thread.c assert(interrupts_disabled());
assert 822 kernel/generic/src/proc/thread.c assert(irq_spinlock_locked(&threads_lock));
assert 841 kernel/generic/src/proc/thread.c assert(interrupts_disabled());
assert 842 kernel/generic/src/proc/thread.c assert(irq_spinlock_locked(&threads_lock));
assert 855 kernel/generic/src/proc/thread.c assert(interrupts_disabled());
assert 856 kernel/generic/src/proc/thread.c assert(irq_spinlock_locked(&threads_lock));
assert 874 kernel/generic/src/proc/thread.c assert(interrupts_disabled());
assert 875 kernel/generic/src/proc/thread.c assert(irq_spinlock_locked(&threads_lock));
assert 78 kernel/generic/src/synch/mutex.c assert((mtx->type == MUTEX_ACTIVE) || !THREAD);
assert 104 kernel/generic/src/synch/mutex.c assert(THREAD);
assert 129 kernel/generic/src/synch/mutex.c assert(mtx->type != MUTEX_ACTIVE);
assert 130 kernel/generic/src/synch/mutex.c assert(THREAD);
assert 134 kernel/generic/src/synch/mutex.c assert(THREAD);
assert 163 kernel/generic/src/synch/mutex.c assert(mtx->owner == THREAD);
assert 73 kernel/generic/src/synch/semaphore.c assert(rc == EOK || rc == ETIMEOUT || rc == EAGAIN);
assert 80 kernel/generic/src/synch/semaphore.c assert(rc == EOK);
assert 133 kernel/generic/src/synch/waitq.c assert((!PREEMPTION_DISABLED) || (PARAM_NON_BLOCKING(flags, usec)));
assert 66 kernel/generic/src/syscall/copy.c assert(THREAD);
assert 67 kernel/generic/src/syscall/copy.c assert(!THREAD->in_copy_from_uspace);
assert 117 kernel/generic/src/syscall/copy.c assert(THREAD);
assert 118 kernel/generic/src/syscall/copy.c assert(!THREAD->in_copy_to_uspace);
assert 216 kernel/generic/src/sysinfo/stats.c assert(interrupts_disabled());
assert 217 kernel/generic/src/sysinfo/stats.c assert(irq_spinlock_locked(&task->lock));
assert 300 kernel/generic/src/sysinfo/stats.c assert(interrupts_disabled());
assert 129 kernel/generic/src/sysinfo/sysinfo.c assert(subtree != NULL);
assert 195 kernel/generic/src/sysinfo/sysinfo.c assert(psubtree != NULL);
assert 85 kernel/generic/src/time/timeout.c assert(!link_in_use(&timeout->link));
assert 155 kernel/generic/src/time/timeout.c assert(timeout->cpu);
assert 113 kernel/generic/src/udebug/udebug.c assert(THREAD);
assert 114 kernel/generic/src/udebug/udebug.c assert(TASK);
assert 122 kernel/generic/src/udebug/udebug.c assert(THREAD->udebug.stoppable == false);
assert 133 kernel/generic/src/udebug/udebug.c assert(db_call);
assert 155 kernel/generic/src/udebug/udebug.c assert(go_call);
assert 192 kernel/generic/src/udebug/udebug.c assert(THREAD->udebug.stoppable == true);
assert 395 kernel/generic/src/udebug/udebug.c assert(mutex_locked(&task->udebug.lock));
assert 376 kernel/generic/src/udebug/udebug_ipc.c assert(buffer != NULL);
assert 423 kernel/generic/src/udebug/udebug_ipc.c assert(buffer != NULL);
assert 147 uspace/app/bdsh/cmds/modules/cat/cat.c assert(false);
assert 275 uspace/app/bdsh/tok.c assert(tok->outbuf_offset >= tok->outbuf_last_start);
assert 377 uspace/app/calculator/calculator.c assert(is_digit(c));
assert 218 uspace/app/devctl/devctl.c assert(rc == ENOMEM);
assert 1908 uspace/app/edit/edit.c assert(data != NULL);
assert 1909 uspace/app/edit/edit.c assert(ret != NULL);
assert 1917 uspace/app/edit/edit.c assert(data != NULL);
assert 1918 uspace/app/edit/edit.c assert(ret != NULL);
assert 1926 uspace/app/edit/edit.c assert(data != NULL);
assert 1927 uspace/app/edit/edit.c assert(mark != NULL);
assert 2025 uspace/app/edit/edit.c assert(match.end != NULL);
assert 149 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 156 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 191 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 210 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 231 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 255 uspace/app/fdisk/fdisk.c assert(rc != EOK);
assert 277 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 284 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 297 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 385 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 392 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 405 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 641 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 739 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 746 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 757 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 780 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 787 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 794 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 801 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 842 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 849 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 860 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 926 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 933 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 977 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1135 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1146 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1157 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1168 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1178 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1189 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1199 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1209 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1219 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1229 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 1237 uspace/app/fdisk/fdisk.c assert(rc == ENOMEM);
assert 77 uspace/app/getterm/getterm.c assert(newfd == fd);
assert 298 uspace/app/hbench/main.c assert(can_cast_size_t_to_int(len) && "benchmark name length overflow");
assert 93 uspace/app/mixerctl/mixerctl.c assert(exch);
assert 111 uspace/app/mixerctl/mixerctl.c assert(exch);
assert 130 uspace/app/mkbd/main.c assert(buffer != NULL);
assert 131 uspace/app/mkbd/main.c assert(report != NULL);
assert 255 uspace/app/mkbd/main.c assert(report != NULL);
assert 298 uspace/app/mkexfat/mkexfat.c assert((mbs->bytes_per_sector + mbs->sec_per_cluster) <= 25);
assert 488 uspace/app/mkexfat/mkexfat.c assert(fat[cur_cls] == 0);
assert 489 uspace/app/mkexfat/mkexfat.c assert(ncls > 0);
assert 655 uspace/app/mkexfat/mkexfat.c assert(d->vollabel.size <= EXFAT_VOLLABEL_LEN);
assert 283 uspace/app/nav/nav.c assert(false);
assert 192 uspace/app/nic/nic.c assert(false);
assert 207 uspace/app/nic/nic.c assert(false);
assert 226 uspace/app/nic/nic.c assert(false);
assert 243 uspace/app/nic/nic.c assert(false);
assert 258 uspace/app/nic/nic.c assert(false);
assert 70 uspace/app/redir/redir.c assert(newfd == fd);
assert 183 uspace/app/sbi/src/ancr.c assert(pred_csi != NULL);
assert 198 uspace/app/sbi/src/ancr.c assert(pred_csi != NULL);
assert 217 uspace/app/sbi/src/ancr.c assert(b_false); /* XXX */
assert 232 uspace/app/sbi/src/ancr.c assert(b_false); /* XXX */
assert 266 uspace/app/sbi/src/ancr.c assert(pred_csi != NULL); /* XXX */
assert 306 uspace/app/sbi/src/ancr.c assert(pred_csi != NULL);
assert 314 uspace/app/sbi/src/ancr.c assert(node != NULL);
assert 247 uspace/app/sbi/src/bigint.c assert(bigint->negative == b_false || bigint->length > 0);
assert 517 uspace/app/sbi/src/bigint.c assert(carry == 0);
assert 592 uspace/app/sbi/src/bigint.c assert(borrow == 1);
assert 643 uspace/app/sbi/src/bigint.c assert(carry == 0);
assert 190 uspace/app/sbi/src/builtin.c assert(sym != NULL);
assert 217 uspace/app/sbi/src/builtin.c assert(csi_sym != NULL);
assert 219 uspace/app/sbi/src/builtin.c assert(csi != NULL);
assert 223 uspace/app/sbi/src/builtin.c assert(mbr_sym != NULL);
assert 245 uspace/app/sbi/src/builtin.c assert(fun_sym != NULL);
assert 247 uspace/app/sbi/src/builtin.c assert(fun != NULL);
assert 298 uspace/app/sbi/src/builtin.c assert(proc_ar->obj->vc == vc_object);
assert 303 uspace/app/sbi/src/builtin.c assert(mbr_var != NULL);
assert 406 uspace/app/sbi/src/builtin.c assert(fun != NULL);
assert 82 uspace/app/sbi/src/builtin/bi_char.c assert(self_value_var->vc == vc_char);
assert 115 uspace/app/sbi/src/builtin/bi_console.c assert(var);
assert 75 uspace/app/sbi/src/builtin/bi_error.c assert(bi->error_outofbounds != NULL);
assert 79 uspace/app/sbi/src/builtin/bi_error.c assert(bi->error_nilreference != NULL);
assert 77 uspace/app/sbi/src/builtin/bi_int.c assert(self_value_var->vc == vc_int);
assert 86 uspace/app/sbi/src/builtin/bi_string.c assert(self_value_var->vc == vc_string);
assert 131 uspace/app/sbi/src/builtin/bi_string.c assert(self_value_var->vc == vc_string);
assert 137 uspace/app/sbi/src/builtin/bi_string.c assert(start_var);
assert 138 uspace/app/sbi/src/builtin/bi_string.c assert(start_var->vc == vc_int);
assert 148 uspace/app/sbi/src/builtin/bi_string.c assert(length_var);
assert 149 uspace/app/sbi/src/builtin/bi_string.c assert(length_var->vc == vc_int);
assert 84 uspace/app/sbi/src/builtin/bi_task.c assert(args);
assert 85 uspace/app/sbi/src/builtin/bi_task.c assert(args->vc == vc_ref);
assert 88 uspace/app/sbi/src/builtin/bi_task.c assert(var->vc == vc_array);
assert 91 uspace/app/sbi/src/builtin/bi_task.c assert(array->rank == 1);
assert 117 uspace/app/sbi/src/builtin/bi_textfile.c assert(fname_var);
assert 118 uspace/app/sbi/src/builtin/bi_textfile.c assert(fname_var->vc == vc_string);
assert 160 uspace/app/sbi/src/builtin/bi_textfile.c assert(fname_var);
assert 161 uspace/app/sbi/src/builtin/bi_textfile.c assert(fname_var->vc == vc_string);
assert 196 uspace/app/sbi/src/builtin/bi_textfile.c assert(self_f_var->vc == vc_resource);
assert 240 uspace/app/sbi/src/builtin/bi_textfile.c assert(self_f_var->vc == vc_resource);
assert 306 uspace/app/sbi/src/builtin/bi_textfile.c assert(line_var);
assert 307 uspace/app/sbi/src/builtin/bi_textfile.c assert(line_var->vc == vc_string);
assert 312 uspace/app/sbi/src/builtin/bi_textfile.c assert(self_f_var->vc == vc_resource);
assert 353 uspace/app/sbi/src/builtin/bi_textfile.c assert(self_f_var->vc == vc_resource);
assert 83 uspace/app/sbi/src/cspan.c assert(a != NULL);
assert 84 uspace/app/sbi/src/cspan.c assert(b != NULL);
assert 85 uspace/app/sbi/src/cspan.c assert(a->input == b->input);
assert 193 uspace/app/sbi/src/imode.c assert(rexpr_vi->ic == ic_value);
assert 208 uspace/app/sbi/src/imode.c assert(list_node_data(bvr_n, stype_block_vr_t *) == block_vr);
assert 65 uspace/app/sbi/src/list.c assert(list_is_empty(list));
assert 113 uspace/app/sbi/src/list.c assert(list_node_present(list, node));
assert 128 uspace/app/sbi/src/list.c assert(list != NULL);
assert 143 uspace/app/sbi/src/list.c assert(list != NULL);
assert 158 uspace/app/sbi/src/list.c assert(list != NULL);
assert 159 uspace/app/sbi/src/list.c assert(node != NULL);
assert 173 uspace/app/sbi/src/list.c assert(list != NULL);
assert 174 uspace/app/sbi/src/list.c assert(node != NULL);
assert 229 uspace/app/sbi/src/list.c assert(node->prev == NULL);
assert 230 uspace/app/sbi/src/list.c assert(node->next == NULL);
assert 231 uspace/app/sbi/src/list.c assert(node->data == NULL);
assert 246 uspace/app/sbi/src/list.c assert(n->prev == NULL);
assert 247 uspace/app/sbi/src/list.c assert(n->next == NULL);
assert 251 uspace/app/sbi/src/list.c assert(a->next == b);
assert 252 uspace/app/sbi/src/list.c assert(b->prev == a);
assert 266 uspace/app/sbi/src/list.c assert(n->prev != NULL);
assert 267 uspace/app/sbi/src/list.c assert(n->next != NULL);
assert 272 uspace/app/sbi/src/list.c assert(a->next == n);
assert 273 uspace/app/sbi/src/list.c assert(b->prev == n);
assert 98 uspace/app/sbi/src/os/helenos.c assert(start + length <= str_length(str));
assert 103 uspace/app/sbi/src/os/helenos.c assert(c != '\0');
assert 104 uspace/app/sbi/src/os/helenos.c assert(c != U_SPECIAL);
assert 97 uspace/app/sbi/src/os/posix.c assert(start + length <= strlen(str));
assert 241 uspace/app/sbi/src/p_expr.c assert(b_false);
assert 289 uspace/app/sbi/src/p_expr.c assert(b_false);
assert 334 uspace/app/sbi/src/p_expr.c assert(b_false);
assert 386 uspace/app/sbi/src/p_expr.c assert(b_false);
assert 497 uspace/app/sbi/src/p_expr.c assert(b_false);
assert 748 uspace/app/sbi/src/p_expr.c assert(b_false);
assert 313 uspace/app/sbi/src/p_type.c assert(b_false);
assert 195 uspace/app/sbi/src/parse.c assert(b_false);
assert 1547 uspace/app/sbi/src/parse.c assert(parse->error == b_true);
assert 1548 uspace/app/sbi/src/parse.c assert(parse->error_bailout == b_true);
assert 473 uspace/app/sbi/src/rdata.c assert(item != NULL);
assert 483 uspace/app/sbi/src/rdata.c assert(addr_var != NULL);
assert 493 uspace/app/sbi/src/rdata.c assert(addr_prop != NULL);
assert 503 uspace/app/sbi/src/rdata.c assert(aprop_named != NULL);
assert 513 uspace/app/sbi/src/rdata.c assert(aprop_indexed != NULL);
assert 523 uspace/app/sbi/src/rdata.c assert(address != NULL);
assert 533 uspace/app/sbi/src/rdata.c assert(value != NULL);
assert 543 uspace/app/sbi/src/rdata.c assert(var != NULL);
assert 553 uspace/app/sbi/src/rdata.c assert(bool_v != NULL);
assert 563 uspace/app/sbi/src/rdata.c assert(char_v != NULL);
assert 573 uspace/app/sbi/src/rdata.c assert(int_v != NULL);
assert 583 uspace/app/sbi/src/rdata.c assert(string_v != NULL);
assert 593 uspace/app/sbi/src/rdata.c assert(ref_v != NULL);
assert 603 uspace/app/sbi/src/rdata.c assert(deleg_v != NULL);
assert 613 uspace/app/sbi/src/rdata.c assert(enum_v != NULL);
assert 623 uspace/app/sbi/src/rdata.c assert(array_v != NULL);
assert 633 uspace/app/sbi/src/rdata.c assert(object_v != NULL);
assert 643 uspace/app/sbi/src/rdata.c assert(resource_v != NULL);
assert 653 uspace/app/sbi/src/rdata.c assert(symbol_v != NULL);
assert 664 uspace/app/sbi/src/rdata.c assert(src != NULL);
assert 131 uspace/app/sbi/src/run.c assert(main_fun != NULL);
assert 209 uspace/app/sbi/src/run.c assert(b_false);
assert 227 uspace/app/sbi/src/run.c assert(list_node_data(node, run_proc_ar_t *) == proc_ar);
assert 231 uspace/app/sbi/src/run.c assert(proc_ar->retval == NULL || proc_ar->retval->ic == ic_value);
assert 276 uspace/app/sbi/src/run.c assert(list_node_data(node, run_block_ar_t *) == block_ar);
assert 357 uspace/app/sbi/src/run.c assert(res != NULL || rexpr == NULL);
assert 781 uspace/app/sbi/src/run.c assert(payload != NULL);
assert 805 uspace/app/sbi/src/run.c assert(payload_o->class_sym != NULL);
assert 806 uspace/app/sbi/src/run.c assert(payload_o->class_sym->sc == sc_csi);
assert 823 uspace/app/sbi/src/run.c assert(run->thread_ar->bo_mode == bm_exc);
assert 954 uspace/app/sbi/src/run.c assert(pobj_var->vc == vc_object);
assert 964 uspace/app/sbi/src/run.c assert(pobject->static_obj == sn_static);
assert 1010 uspace/app/sbi/src/run.c assert(csi->ancr_state == ws_visited);
assert 1053 uspace/app/sbi/src/run.c assert(item->ic == ic_value);
assert 1209 uspace/app/sbi/src/run.c assert(proc_ar->proc != NULL);
assert 1240 uspace/app/sbi/src/run.c assert(b_false);
assert 1245 uspace/app/sbi/src/run.c assert(block_ar_n != NULL);
assert 1263 uspace/app/sbi/src/run.c assert(rarg->ic == ic_value);
assert 1294 uspace/app/sbi/src/run.c assert(rarg->ic == ic_value);
assert 1347 uspace/app/sbi/src/run.c assert(proc_ar->proc != NULL);
assert 1351 uspace/app/sbi/src/run.c assert(prop != NULL);
assert 1352 uspace/app/sbi/src/run.c assert(proc_ar->proc == prop->setter);
assert 1356 uspace/app/sbi/src/run.c assert(block_ar_n != NULL);
assert 1359 uspace/app/sbi/src/run.c assert(arg_val->ic == ic_value);
assert 1487 uspace/app/sbi/src/run.c assert(b_false);
assert 1491 uspace/app/sbi/src/run.c assert(b_false);
assert 1513 uspace/app/sbi/src/run.c assert(addr->ac == ac_prop);
assert 1518 uspace/app/sbi/src/run.c assert(ritem->ic == ic_value);
assert 1538 uspace/app/sbi/src/run.c assert(ritem != NULL);
assert 1549 uspace/app/sbi/src/run.c assert(*ritem == NULL || (*ritem)->ic == ic_value);
assert 1619 uspace/app/sbi/src/run.c assert(prop != NULL);
assert 1686 uspace/app/sbi/src/run.c assert(prop != NULL);
assert 1712 uspace/app/sbi/src/run.c assert(ritem == NULL);
assert 1782 uspace/app/sbi/src/run.c assert(ref_val->u.value->var->vc == vc_ref);
assert 1828 uspace/app/sbi/src/run.c assert(exc_vi->ic == ic_value);
assert 1878 uspace/app/sbi/src/run.c assert(b_false);
assert 1897 uspace/app/sbi/src/run.c assert(b_false);
assert 1937 uspace/app/sbi/src/run.c assert(b_false);
assert 2006 uspace/app/sbi/src/run.c assert(embr_n != NULL);
assert 2059 uspace/app/sbi/src/run.c assert(proc_ar != NULL);
assert 2088 uspace/app/sbi/src/run.c assert(block_ar != NULL);
assert 253 uspace/app/sbi/src/run_expr.c assert (proc_ar->obj != NULL);
assert 254 uspace/app/sbi/src/run_expr.c assert(proc_ar->obj->vc == vc_object);
assert 260 uspace/app/sbi/src/run_expr.c assert(csi != NULL);
assert 269 uspace/app/sbi/src/run_expr.c assert(sym != NULL);
assert 286 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 311 uspace/app/sbi/src/run_expr.c assert(csi != NULL);
assert 349 uspace/app/sbi/src/run_expr.c assert(csi != NULL);
assert 377 uspace/app/sbi/src/run_expr.c assert(sobj->vc == vc_object);
assert 393 uspace/app/sbi/src/run_expr.c assert(member_var != NULL);
assert 717 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 767 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 843 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 867 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 948 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 971 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1048 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1096 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1143 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1234 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1280 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1307 uspace/app/sbi/src/run_expr.c assert(v1->var->vc == v2->var->vc);
assert 1354 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1424 uspace/app/sbi/src/run_expr.c assert(titem->tic == tic_tarray);
assert 1428 uspace/app/sbi/src/run_expr.c assert(titem->u.tarray->rank > 0);
assert 1457 uspace/app/sbi/src/run_expr.c assert(rexpr_vi->ic == ic_value);
assert 1524 uspace/app/sbi/src/run_expr.c assert(titem->tic == tic_tobject);
assert 1539 uspace/app/sbi/src/run_expr.c assert(obj_i->ic == ic_address);
assert 1540 uspace/app/sbi/src/run_expr.c assert(obj_i->u.address->ac == ac_var);
assert 1688 uspace/app/sbi/src/run_expr.c assert(arg->ic == ic_address);
assert 1689 uspace/app/sbi/src/run_expr.c assert(arg->u.address->ac == ac_var);
assert 1692 uspace/app/sbi/src/run_expr.c assert(obj_var->vc == vc_object);
assert 1730 uspace/app/sbi/src/run_expr.c assert(obj_var->vc == vc_object);
assert 1733 uspace/app/sbi/src/run_expr.c assert(object->static_obj == sn_static);
assert 1739 uspace/app/sbi/src/run_expr.c assert(member != NULL);
assert 1750 uspace/app/sbi/src/run_expr.c assert(member_csi != NULL);
assert 1767 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1851 uspace/app/sbi/src/run_expr.c assert(obj_var->vc == vc_object);
assert 1854 uspace/app/sbi/src/run_expr.c assert(object->static_obj == sn_nonstatic);
assert 1881 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 1913 uspace/app/sbi/src/run_expr.c assert(addr_var->vref != NULL);
assert 1965 uspace/app/sbi/src/run_expr.c assert(arg_val->var->vc == vc_symbol);
assert 1970 uspace/app/sbi/src/run_expr.c assert(symbol_v->sym->sc == sc_enum);
assert 1978 uspace/app/sbi/src/run_expr.c assert(embr != NULL);
assert 2032 uspace/app/sbi/src/run_expr.c assert(rdeleg_vi->ic == ic_value);
assert 2061 uspace/app/sbi/src/run_expr.c assert(fun != NULL);
assert 2300 uspace/app/sbi/src/run_expr.c assert(base->ic == ic_address);
assert 2301 uspace/app/sbi/src/run_expr.c assert(base->u.address->ac == ac_var);
assert 2302 uspace/app/sbi/src/run_expr.c assert(base->u.address->u.var_a->vref->vc == vc_array);
assert 2322 uspace/app/sbi/src/run_expr.c assert(arg->ic == ic_value);
assert 2418 uspace/app/sbi/src/run_expr.c assert(obj_var->vc == vc_object);
assert 2422 uspace/app/sbi/src/run_expr.c assert(obj_csi != NULL);
assert 2448 uspace/app/sbi/src/run_expr.c assert(arg->ic == ic_value);
assert 2496 uspace/app/sbi/src/run_expr.c assert(base_vi->u.value->var->vc == vc_string);
assert 2506 uspace/app/sbi/src/run_expr.c assert(node != NULL);
assert 2516 uspace/app/sbi/src/run_expr.c assert(arg->ic == ic_value);
assert 2609 uspace/app/sbi/src/run_expr.c assert(rsrc_vi->ic == ic_value);
assert 2660 uspace/app/sbi/src/run_expr.c assert(run_item_get_vc(run, rarg_i) == vc_ref);
assert 2669 uspace/app/sbi/src/run_expr.c assert(rarg_vi->ic == ic_value);
assert 2680 uspace/app/sbi/src/run_expr.c assert(rarg_di->ic == ic_address);
assert 2681 uspace/app/sbi/src/run_expr.c assert(rarg_di->u.address->ac == ac_var);
assert 2690 uspace/app/sbi/src/run_expr.c assert(arg_vref->vc == vc_object);
assert 2693 uspace/app/sbi/src/run_expr.c assert(obj_csi != NULL);
assert 2749 uspace/app/sbi/src/run_expr.c assert(rarg_vi->ic == ic_value);
assert 2777 uspace/app/sbi/src/run_expr.c assert(b_false);
assert 2781 uspace/app/sbi/src/run_expr.c assert(csi != NULL);
assert 2788 uspace/app/sbi/src/run_expr.c assert((*res)->ic == ic_value);
assert 2789 uspace/app/sbi/src/run_expr.c assert((*res)->u.value->var->vc == vc_ref);
assert 2791 uspace/app/sbi/src/run_expr.c assert(var->vc == vc_object);
assert 2796 uspace/app/sbi/src/run_expr.c assert(mbr_var != NULL);
assert 2941 uspace/app/sbi/src/run_expr.c assert(csi != NULL);
assert 2961 uspace/app/sbi/src/run_expr.c assert(ctor != NULL);
assert 2973 uspace/app/sbi/src/run_expr.c assert(res == NULL);
assert 3003 uspace/app/sbi/src/run_expr.c assert(vitem->ic == ic_value);
assert 3006 uspace/app/sbi/src/run_expr.c assert(var->vc == vc_bool);
assert 155 uspace/app/sbi/src/run_texpr.c assert(b_false);
assert 160 uspace/app/sbi/src/run_texpr.c assert(deleg != NULL);
assert 180 uspace/app/sbi/src/run_texpr.c assert(enum_d != NULL);
assert 374 uspace/app/sbi/src/run_texpr.c assert(b_false);
assert 379 uspace/app/sbi/src/run_texpr.c assert(deleg != NULL);
assert 399 uspace/app/sbi/src/run_texpr.c assert(enum_d != NULL);
assert 262 uspace/app/sbi/src/stype.c assert(stype->proc_vr == NULL);
assert 298 uspace/app/sbi/src/stype.c assert(deleg_ti->u.tdeleg != NULL);
assert 477 uspace/app/sbi/src/stype.c assert(stype->proc_vr == NULL);
assert 602 uspace/app/sbi/src/stype.c assert(list_node_data(bvr_n, stype_block_vr_t *) == block_vr);
assert 620 uspace/app/sbi/src/stype.c assert(csi->cc == csi_class);
assert 627 uspace/app/sbi/src/stype.c assert(pred_ti->tic == tic_tobject);
assert 632 uspace/app/sbi/src/stype.c assert(b_false);
assert 665 uspace/app/sbi/src/stype.c assert(csi->cc == csi_class);
assert 667 uspace/app/sbi/src/stype.c assert(iface_ti->tic == tic_tobject);
assert 669 uspace/app/sbi/src/stype.c assert(iface->cc == csi_interface);
assert 683 uspace/app/sbi/src/stype.c assert(pred_ti->tic == tic_tobject);
assert 684 uspace/app/sbi/src/stype.c assert(pred_ti->u.tobject->csi->cc == csi_interface);
assert 721 uspace/app/sbi/src/stype.c assert(csi->cc == csi_class);
assert 758 uspace/app/sbi/src/stype.c assert(b_false);
assert 768 uspace/app/sbi/src/stype.c assert(b_false);
assert 799 uspace/app/sbi/src/stype.c assert(cfun_sym->sc == sc_fun);
assert 802 uspace/app/sbi/src/stype.c assert(ifun_sym->sc == sc_fun);
assert 805 uspace/app/sbi/src/stype.c assert(cfun->titem->tic == tic_tfun);
assert 809 uspace/app/sbi/src/stype.c assert(sifun_ti->tic == tic_tfun);
assert 848 uspace/app/sbi/src/stype.c assert(cprop_sym->sc == sc_prop);
assert 851 uspace/app/sbi/src/stype.c assert(iprop_sym->sc == sc_prop);
assert 1183 uspace/app/sbi/src/stype.c assert(fun != NULL);
assert 1207 uspace/app/sbi/src/stype.c assert(prop != NULL);
assert 1228 uspace/app/sbi/src/stype.c assert(b_false);
assert 1383 uspace/app/sbi/src/stype.c assert(b_false);
assert 1389 uspace/app/sbi/src/stype.c assert(b_false);
assert 1395 uspace/app/sbi/src/stype.c assert(b_false);
assert 1416 uspace/app/sbi/src/stype.c assert(src->tic == tic_tprimitive);
assert 1417 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tprimitive);
assert 1449 uspace/app/sbi/src/stype.c assert(src->tic == tic_tprimitive);
assert 1450 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tobject);
assert 1469 uspace/app/sbi/src/stype.c assert(b_false);
assert 1511 uspace/app/sbi/src/stype.c assert(src->tic == tic_tobject);
assert 1512 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tobject);
assert 1553 uspace/app/sbi/src/stype.c assert(src->tic == tic_tarray);
assert 1554 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tarray);
assert 1587 uspace/app/sbi/src/stype.c assert(src->tic == tic_tdeleg);
assert 1588 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tdeleg);
assert 1599 uspace/app/sbi/src/stype.c assert(ddeleg->deleg != NULL);
assert 1626 uspace/app/sbi/src/stype.c assert(src->tic == tic_tenum);
assert 1627 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tenum);
assert 1663 uspace/app/sbi/src/stype.c assert(src->tic == tic_tfun);
assert 1664 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tdeleg);
assert 1670 uspace/app/sbi/src/stype.c assert(ssig != NULL);
assert 1672 uspace/app/sbi/src/stype.c assert(dsig != NULL);
assert 1765 uspace/app/sbi/src/stype.c assert(src->tic == tic_tprimitive);
assert 1783 uspace/app/sbi/src/stype.c assert(b_false);
assert 1808 uspace/app/sbi/src/stype.c assert(tobject->csi != NULL);
assert 1840 uspace/app/sbi/src/stype.c assert(src->tic == tic_tobject);
assert 1841 uspace/app/sbi/src/stype.c assert(dest->tic == tic_tobject);
assert 1875 uspace/app/sbi/src/stype.c assert(bs_ti->tic == tic_tobject);
assert 1885 uspace/app/sbi/src/stype.c assert(b_false);
assert 1900 uspace/app/sbi/src/stype.c assert(bs_ti->tic == tic_tobject);
assert 1940 uspace/app/sbi/src/stype.c assert(a_ti->tic == tic_tobject);
assert 1941 uspace/app/sbi/src/stype.c assert(b_ti->tic == tic_tobject);
assert 2053 uspace/app/sbi/src/stype.c assert(tdeleg->tsig != NULL);
assert 2082 uspace/app/sbi/src/stype.c assert(ti->tic == tic_tobject);
assert 2208 uspace/app/sbi/src/stype.c assert(ctor != NULL);
assert 2214 uspace/app/sbi/src/stype.c assert(fun != NULL);
assert 2220 uspace/app/sbi/src/stype.c assert(prop != NULL);
assert 2232 uspace/app/sbi/src/stype.c assert(b_false);
assert 321 uspace/app/sbi/src/stype_expr.c assert(csi != NULL);
assert 332 uspace/app/sbi/src/stype_expr.c assert(b_false);
assert 336 uspace/app/sbi/src/stype_expr.c assert(deleg != NULL);
assert 343 uspace/app/sbi/src/stype_expr.c assert(enum_d != NULL);
assert 354 uspace/app/sbi/src/stype_expr.c assert(fun != NULL);
assert 434 uspace/app/sbi/src/stype_expr.c assert(cur_csi != NULL);
assert 542 uspace/app/sbi/src/stype_expr.c assert(ta->tic == tic_tprimitive);
assert 543 uspace/app/sbi/src/stype_expr.c assert(tb->tic == tic_tprimitive);
assert 819 uspace/app/sbi/src/stype_expr.c assert(ta->tic == tic_tobject || (ta->tic == tic_tprimitive &&
assert 821 uspace/app/sbi/src/stype_expr.c assert(tb->tic == tic_tobject || (tb->tic == tic_tprimitive &&
assert 855 uspace/app/sbi/src/stype_expr.c assert(ta->tic == tic_tenum);
assert 856 uspace/app/sbi/src/stype_expr.c assert(tb->tic == tic_tenum);
assert 889 uspace/app/sbi/src/stype_expr.c assert(ta->tic == tic_tvref || (ta->tic == tic_tprimitive &&
assert 891 uspace/app/sbi/src/stype_expr.c assert(tb->tic == tic_tvref || (tb->tic == tic_tprimitive &&
assert 975 uspace/app/sbi/src/stype_expr.c assert(ta->tic == tic_tprimitive);
assert 1045 uspace/app/sbi/src/stype_expr.c assert(obj_ti->tic == tic_tobject);
assert 1074 uspace/app/sbi/src/stype_expr.c assert(ctor != NULL);
assert 1086 uspace/app/sbi/src/stype_expr.c assert(ctor_sti->tic == tic_tfun);
assert 1209 uspace/app/sbi/src/stype_expr.c assert(arg_ti->tic == tic_tobject);
assert 1262 uspace/app/sbi/src/stype_expr.c assert(member_csi != NULL);
assert 1273 uspace/app/sbi/src/stype_expr.c assert(b_false);
assert 1284 uspace/app/sbi/src/stype_expr.c assert(enum_d != NULL);
assert 1291 uspace/app/sbi/src/stype_expr.c assert(fun != NULL);
assert 1298 uspace/app/sbi/src/stype_expr.c assert(var != NULL);
assert 1304 uspace/app/sbi/src/stype_expr.c assert(prop != NULL);
assert 1362 uspace/app/sbi/src/stype_expr.c assert(arg_ti->tic == tic_tebase);
assert 1417 uspace/app/sbi/src/stype_expr.c assert(tsig != NULL);
assert 1501 uspace/app/sbi/src/stype_expr.c assert(farg_ti->tic == tic_tarray);
assert 1622 uspace/app/sbi/src/stype_expr.c assert(base_ti->tic == tic_tprimitive);
assert 1666 uspace/app/sbi/src/stype_expr.c assert(base_ti->tic == tic_tobject);
assert 1685 uspace/app/sbi/src/stype_expr.c assert(idx != NULL);
assert 1717 uspace/app/sbi/src/stype_expr.c assert(base_ti->tic == tic_tarray);
assert 1843 uspace/app/sbi/src/stype_expr.c assert(ptitem->tic == tic_tprimitive);
assert 1855 uspace/app/sbi/src/stype_expr.c assert(b_false);
assert 1861 uspace/app/sbi/src/stype_expr.c assert(b_false);
assert 1870 uspace/app/sbi/src/stype_expr.c assert(tobject->csi != NULL);
assert 84 uspace/app/sbi/src/symbol.c assert(b_false);
assert 105 uspace/app/sbi/src/symbol.c assert(scope == NULL || scope->ancr_state == ws_visited);
assert 220 uspace/app/sbi/src/symbol.c assert(mbr_name != NULL);
assert 270 uspace/app/sbi/src/symbol.c assert(pred_csi != NULL); /* XXX! */
assert 306 uspace/app/sbi/src/symbol.c assert(pred_csi != NULL); /* XXX! */
assert 432 uspace/app/sbi/src/symbol.c assert(deleg->symbol);
assert 456 uspace/app/sbi/src/symbol.c assert(enum_d->symbol);
assert 480 uspace/app/sbi/src/symbol.c assert(csi->symbol);
assert 504 uspace/app/sbi/src/symbol.c assert(ctor->symbol);
assert 528 uspace/app/sbi/src/symbol.c assert(fun->symbol);
assert 552 uspace/app/sbi/src/symbol.c assert(var->symbol);
assert 618 uspace/app/sbi/src/symbol.c assert(prop->symbol);
assert 402 uspace/app/sbi/src/tdata.c assert(ti_new != NULL);
assert 533 uspace/app/sbi/src/tdata.c assert(csi_sym != NULL);
assert 312 uspace/app/sysinst/volume.c assert(fibril_mutex_is_locked(&volumes->lock));
assert 337 uspace/app/sysinst/volume.c assert(fibril_mutex_is_locked(&volumes->lock));
assert 402 uspace/app/sysinst/volume.c assert(fibril_mutex_is_locked(&volumes->lock));
assert 366 uspace/app/taskbar/tbsmenu.c assert(entry->tbsmenu == tbsmenu);
assert 284 uspace/app/taskbar/wndlist.c assert(entry->wndlist == wndlist);
assert 396 uspace/app/taskbar/wndlist.c assert(entry->wndlist == wndlist);
assert 431 uspace/app/taskbar/wndlist.c assert(e != NULL);
assert 251 uspace/app/taskdump/taskdump.c assert(copied == buf_size);
assert 252 uspace/app/taskdump/taskdump.c assert(needed == buf_size);
assert 295 uspace/app/taskdump/taskdump.c assert(copied == buf_size);
assert 296 uspace/app/taskdump/taskdump.c assert(needed == buf_size);
assert 408 uspace/app/taskdump/taskdump.c assert(app_name != NULL);
assert 409 uspace/app/taskdump/taskdump.c assert(app_symtab == NULL);
assert 445 uspace/app/taskdump/taskdump.c assert(copied == name_size);
assert 446 uspace/app/taskdump/taskdump.c assert(copied == needed);
assert 284 uspace/app/terminal/terminal.c assert(glyph < FONT_GLYPHS);
assert 775 uspace/app/terminal/terminal.c assert(term->gc == ui_window_get_gc(term->window));
assert 780 uspace/app/terminal/terminal.c assert(term->ui_res == ui_window_get_res(term->window));
assert 149 uspace/app/tester/tester.c assert(can_cast_size_t_to_int(len) && "test name length overflow");
assert 168 uspace/app/trace/ipcp.c assert(ok);
assert 117 uspace/app/trace/proto.c assert(ok);
assert 151 uspace/app/trace/proto.c assert(ok);
assert 127 uspace/app/usbinfo/hid.c assert(report_size > 0);
assert 164 uspace/app/usbinfo/hid.c assert(false && "unreachable code apparently reached");
assert 70 uspace/app/usbinfo/info.c assert(usb_dev);
assert 181 uspace/app/vuhid/device.c assert(ep_count > 0);
assert 78 uspace/app/wavplay/dplay.c assert(sess);
assert 79 uspace/app/wavplay/dplay.c assert(pb);
assert 147 uspace/app/wavplay/dplay.c assert(pb);
assert 148 uspace/app/wavplay/dplay.c assert(pb->device);
assert 196 uspace/app/wavplay/dplay.c assert(pb);
assert 212 uspace/app/wavplay/dplay.c assert(pb);
assert 225 uspace/app/wavplay/dplay.c assert(pb);
assert 236 uspace/app/wavplay/dplay.c assert(pb);
assert 252 uspace/app/wavplay/dplay.c assert(pb);
assert 253 uspace/app/wavplay/dplay.c assert(pb->device);
assert 78 uspace/app/wavplay/drec.c assert(sess);
assert 79 uspace/app/wavplay/drec.c assert(rec);
assert 143 uspace/app/wavplay/drec.c assert(rec);
assert 144 uspace/app/wavplay/drec.c assert(rec->device);
assert 212 uspace/app/wavplay/main.c assert(arg);
assert 152 uspace/app/wavplay/wave.c assert(header);
assert 325 uspace/app/websrv/websrv.c assert(*end_uri == '\r');
assert 161 uspace/app/wifi_supplicant/wifi_supplicant.c assert(ssid_start);
assert 1286 uspace/dist/src/c/demos/edit/edit.c assert(data != NULL);
assert 1287 uspace/dist/src/c/demos/edit/edit.c assert(ret != NULL);
assert 1295 uspace/dist/src/c/demos/edit/edit.c assert(data != NULL);
assert 1296 uspace/dist/src/c/demos/edit/edit.c assert(ret != NULL);
assert 1304 uspace/dist/src/c/demos/edit/edit.c assert(data != NULL);
assert 1305 uspace/dist/src/c/demos/edit/edit.c assert(mark != NULL);
assert 1405 uspace/dist/src/c/demos/edit/edit.c assert(match.end != NULL);
assert 142 uspace/drv/audio/hdaudio/hdactl.c assert(false);
assert 168 uspace/drv/audio/hdaudio/pcm_iface.c assert(rc == ENOMEM);
assert 84 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 92 uspace/drv/audio/sb16/dsp.c assert(data);
assert 93 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 109 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 125 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 154 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 171 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 187 uspace/drv/audio/sb16/dsp.c assert(pa < (1 << 24));
assert 206 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 236 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 299 uspace/drv/audio/sb16/dsp.c assert(dsp->buffer.data);
assert 338 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 348 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 355 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 356 uspace/drv/audio/sb16/dsp.c assert(size);
assert 364 uspace/drv/audio/sb16/dsp.c assert(dsp->buffer.data == NULL);
assert 382 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 385 uspace/drv/audio/sb16/dsp.c assert(dsp->buffer.data);
assert 397 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 445 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 462 uspace/drv/audio/sb16/dsp.c assert(!immediate);
assert 474 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 519 uspace/drv/audio/sb16/dsp.c assert(dsp);
assert 536 uspace/drv/audio/sb16/dsp.c assert(!immediate);
assert 183 uspace/drv/audio/sb16/main.c assert(device);
assert 127 uspace/drv/audio/sb16/mixer.c assert(mixer);
assert 147 uspace/drv/audio/sb16/mixer.c assert(mixer);
assert 154 uspace/drv/audio/sb16/mixer.c assert(mixer);
assert 176 uspace/drv/audio/sb16/mixer.c assert(mixer);
assert 199 uspace/drv/audio/sb16/mixer.c assert(mixer);
assert 86 uspace/drv/audio/sb16/sb16.c assert(regs);
assert 87 uspace/drv/audio/sb16/sb16.c assert(dma8 > 0 && dma8 < 4);
assert 105 uspace/drv/audio/sb16/sb16.c assert(sb);
assert 195 uspace/drv/audio/sb16/sb16.c assert(sb);
assert 614 uspace/drv/block/pci-ide/pci-ide.c assert(buf_size <= chan->dma_buf_size);
assert 650 uspace/drv/block/pci-ide/pci-ide.c assert(chan->cur_buf_size <= chan->dma_buf_size);
assert 114 uspace/drv/block/usbmast/main.c assert(mdev);
assert 89 uspace/drv/block/virtio-blk/virtio-blk.c assert(descno < RQ_BUFFERS);
assert 189 uspace/drv/block/virtio-blk/virtio-blk.c assert(descno < RQ_BUFFERS);
assert 494 uspace/drv/bus/adb/cuda_adb/cuda_adb.c assert(cuda->xstate == cx_listen);
assert 283 uspace/drv/bus/isa/i8237.c assert(controller);
assert 458 uspace/drv/bus/isa/i8237.c assert(size);
assert 113 uspace/drv/bus/isa/isa.c assert(fun);
assert 166 uspace/drv/bus/isa/isa.c assert(fnode);
assert 168 uspace/drv/bus/isa/isa.c assert(fun);
assert 170 uspace/drv/bus/isa/isa.c assert(res);
assert 188 uspace/drv/bus/isa/isa.c assert(size);
assert 189 uspace/drv/bus/isa/isa.c assert(fnode);
assert 191 uspace/drv/bus/isa/isa.c assert(fun);
assert 193 uspace/drv/bus/isa/isa.c assert(res);
assert 236 uspace/drv/bus/isa/isa.c assert(isa);
assert 491 uspace/drv/bus/pci/pciintel/pci.c assert(hw_resources != NULL);
assert 492 uspace/drv/bus/pci/pciintel/pci.c assert(count < PCI_MAX_HW_RES);
assert 606 uspace/drv/bus/pci/pciintel/pci.c assert(NULL != hw_resources);
assert 607 uspace/drv/bus/pci/pciintel/pci.c assert(count < PCI_MAX_HW_RES);
assert 783 uspace/drv/bus/pci/pciintel/pci.c assert(hw_resources.count >= 1);
assert 786 uspace/drv/bus/pci/pciintel/pci.c assert(hw_resources.resources[0].type == MEM_RANGE);
assert 801 uspace/drv/bus/pci/pciintel/pci.c assert(hw_resources.resources[0].type == IO_RANGE);
assert 802 uspace/drv/bus/pci/pciintel/pci.c assert(hw_resources.resources[0].res.io_range.size >= 4);
assert 804 uspace/drv/bus/pci/pciintel/pci.c assert(hw_resources.resources[1].type == IO_RANGE);
assert 805 uspace/drv/bus/pci/pciintel/pci.c assert(hw_resources.resources[1].res.io_range.size >= 4);
assert 65 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch);
assert 80 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ep);
assert 101 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch);
assert 121 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch->td_count > 0);
assert 166 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch);
assert 224 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch->base.transferred_size <= ehci_batch->base.size);
assert 241 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch);
assert 256 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch);
assert 259 uspace/drv/bus/usb/ehci/ehci_batch.c assert(dir == USB_DIRECTION_IN || dir == USB_DIRECTION_OUT);
assert 308 uspace/drv/bus/usb/ehci/ehci_batch.c assert(td_current < ehci_batch->td_count - 1);
assert 313 uspace/drv/bus/usb/ehci/ehci_batch.c assert(td_current == ehci_batch->td_count - 1);
assert 333 uspace/drv/bus/usb/ehci/ehci_batch.c assert(ehci_batch);
assert 366 uspace/drv/bus/usb/ehci/ehci_batch.c assert(td_current < ehci_batch->td_count);
assert 74 uspace/drv/bus/usb/ehci/ehci_batch.h assert(usb_batch);
assert 78 uspace/drv/bus/usb/ehci/ehci_bus.c assert(dev);
assert 103 uspace/drv/bus/usb/ehci/ehci_bus.c assert(ep);
assert 131 uspace/drv/bus/usb/ehci/ehci_bus.c assert(bus);
assert 132 uspace/drv/bus/usb/ehci/ehci_bus.c assert(ep);
assert 187 uspace/drv/bus/usb/ehci/ehci_bus.c assert(hc);
assert 188 uspace/drv/bus/usb/ehci/ehci_bus.c assert(bus);
assert 82 uspace/drv/bus/usb/ehci/ehci_bus.h assert(ep);
assert 66 uspace/drv/bus/usb/ehci/ehci_rh.c assert(instance);
assert 69 uspace/drv/bus/usb/ehci/ehci_rh.c assert(dsize <= sizeof(instance->hub_descriptor));
assert 107 uspace/drv/bus/usb/ehci/ehci_rh.c assert(instance);
assert 148 uspace/drv/bus/usb/ehci/ehci_rh.c assert(instance);
assert 149 uspace/drv/bus/usb/ehci/ehci_rh.c assert(batch);
assert 170 uspace/drv/bus/usb/ehci/ehci_rh.c assert(!instance->status_change_endpoint);
assert 222 uspace/drv/bus/usb/ehci/ehci_rh.c assert(hub);\
assert 243 uspace/drv/bus/usb/ehci/ehci_rh.c assert(hub);
assert 266 uspace/drv/bus/usb/ehci/ehci_rh.c assert(hub);
assert 534 uspace/drv/bus/usb/ehci/ehci_rh.c assert(hub);
assert 95 uspace/drv/bus/usb/ehci/ehci_rh.h assert(instance);
assert 55 uspace/drv/bus/usb/ehci/endpoint_list.c assert(instance);
assert 77 uspace/drv/bus/usb/ehci/endpoint_list.c assert(instance);
assert 78 uspace/drv/bus/usb/ehci/endpoint_list.c assert(next);
assert 79 uspace/drv/bus/usb/ehci/endpoint_list.c assert(instance->list_head);
assert 80 uspace/drv/bus/usb/ehci/endpoint_list.c assert(next->list_head);
assert 97 uspace/drv/bus/usb/ehci/endpoint_list.c assert(instance);
assert 98 uspace/drv/bus/usb/ehci/endpoint_list.c assert(instance->list_head);
assert 99 uspace/drv/bus/usb/ehci/endpoint_list.c assert(ep);
assert 100 uspace/drv/bus/usb/ehci/endpoint_list.c assert(ep->qh);
assert 117 uspace/drv/bus/usb/ehci/endpoint_list.c assert(last_qh);
assert 150 uspace/drv/bus/usb/ehci/endpoint_list.c assert(instance);
assert 151 uspace/drv/bus/usb/ehci/endpoint_list.c assert(instance->list_head);
assert 152 uspace/drv/bus/usb/ehci/endpoint_list.c assert(ep);
assert 153 uspace/drv/bus/usb/ehci/endpoint_list.c assert(ep->qh);
assert 171 uspace/drv/bus/usb/ehci/endpoint_list.c assert(qh_next(prev_qh) == addr_to_phys(ep->qh));
assert 65 uspace/drv/bus/usb/ehci/endpoint_list.h assert(instance);
assert 104 uspace/drv/bus/usb/ehci/hc.c assert(code);
assert 105 uspace/drv/bus/usb/ehci/hc.c assert(hw_res);
assert 157 uspace/drv/bus/usb/ehci/hc.c assert(hw_res);
assert 216 uspace/drv/bus/usb/ehci/hc.c assert(instance);
assert 217 uspace/drv/bus/usb/ehci/hc.c assert(ep);
assert 239 uspace/drv/bus/usb/ehci/hc.c assert(instance);
assert 240 uspace/drv/bus/usb/ehci/hc.c assert(ep);
assert 268 uspace/drv/bus/usb/ehci/hc.c assert(bus_base);
assert 269 uspace/drv/bus/usb/ehci/hc.c assert(status);
assert 273 uspace/drv/bus/usb/ehci/hc.c assert(hc);
assert 292 uspace/drv/bus/usb/ehci/hc.c assert(batch);
assert 296 uspace/drv/bus/usb/ehci/hc.c assert(hc);
assert 339 uspace/drv/bus/usb/ehci/hc.c assert(bus_base);
assert 343 uspace/drv/bus/usb/ehci/hc.c assert(hc);
assert 368 uspace/drv/bus/usb/ehci/hc.c assert(batch);
assert 428 uspace/drv/bus/usb/ehci/hc.c assert(instance->periodic_list);
assert 431 uspace/drv/bus/usb/ehci/hc.c assert((phys_base & USB_PERIODIC_LIST_BASE_MASK) == phys_base);
assert 438 uspace/drv/bus/usb/ehci/hc.c assert((phys_base & USB_ASYNCLIST_MASK) == phys_base);
assert 480 uspace/drv/bus/usb/ehci/hc.c assert(instance);
assert 95 uspace/drv/bus/usb/ehci/hc.h assert(hcd);
assert 53 uspace/drv/bus/usb/ehci/hw_struct/queue_head.c assert(instance);
assert 71 uspace/drv/bus/usb/ehci/hw_struct/queue_head.c assert(ep->device->speed < ARRAY_SIZE(speed));
assert 89 uspace/drv/bus/usb/ehci/hw_struct/queue_head.c assert(ep->device->tt.dev != NULL);
assert 166 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 167 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(next);
assert 169 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert((pa & LINK_POINTER_ADDRESS_MASK) == pa);
assert 175 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 181 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 187 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 196 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 202 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 208 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 214 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 215 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(td);
assert 221 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 227 uspace/drv/bus/usb/ehci/hw_struct/queue_head.h assert(qh);
assert 48 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.c assert(td);
assert 86 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.c assert(instance);
assert 89 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.c assert((size & TD_STATUS_TOTAL_MASK) == size);
assert 101 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.c assert(size != 0);
assert 105 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.c assert(offset == 0 || i == 0);
assert 94 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.h assert(td);
assert 100 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.h assert(td);
assert 56 uspace/drv/bus/usb/ohci/endpoint_list.c assert(instance);
assert 83 uspace/drv/bus/usb/ohci/endpoint_list.c assert(instance);
assert 84 uspace/drv/bus/usb/ohci/endpoint_list.c assert(next);
assert 97 uspace/drv/bus/usb/ohci/endpoint_list.c assert(instance);
assert 98 uspace/drv/bus/usb/ohci/endpoint_list.c assert(ep);
assert 147 uspace/drv/bus/usb/ohci/endpoint_list.c assert(instance);
assert 148 uspace/drv/bus/usb/ohci/endpoint_list.c assert(instance->list_head);
assert 149 uspace/drv/bus/usb/ohci/endpoint_list.c assert(ep);
assert 150 uspace/drv/bus/usb/ohci/endpoint_list.c assert(ep->ed);
assert 169 uspace/drv/bus/usb/ohci/endpoint_list.c assert(ed_next(prev_ed) == addr_to_phys(ep->ed));
assert 68 uspace/drv/bus/usb/ohci/endpoint_list.h assert(instance);
assert 107 uspace/drv/bus/usb/ohci/hc.c assert(code);
assert 108 uspace/drv/bus/usb/ohci/hc.c assert(hw_res);
assert 157 uspace/drv/bus/usb/ohci/hc.c assert(hw_res);
assert 193 uspace/drv/bus/usb/ohci/hc.c assert(instance);
assert 200 uspace/drv/bus/usb/ohci/hc.c assert(instance);
assert 201 uspace/drv/bus/usb/ohci/hc.c assert(ep);
assert 205 uspace/drv/bus/usb/ohci/hc.c assert(list);
assert 206 uspace/drv/bus/usb/ohci/hc.c assert(ohci_ep);
assert 233 uspace/drv/bus/usb/ohci/hc.c assert(instance);
assert 234 uspace/drv/bus/usb/ohci/hc.c assert(ep);
assert 240 uspace/drv/bus/usb/ohci/hc.c assert(list);
assert 241 uspace/drv/bus/usb/ohci/hc.c assert(ohci_ep);
assert 268 uspace/drv/bus/usb/ohci/hc.c assert(bus_base);
assert 269 uspace/drv/bus/usb/ohci/hc.c assert(status);
assert 273 uspace/drv/bus/usb/ohci/hc.c assert(hc);
assert 290 uspace/drv/bus/usb/ohci/hc.c assert(batch);
assert 294 uspace/drv/bus/usb/ohci/hc.c assert(hc);
assert 342 uspace/drv/bus/usb/ohci/hc.c assert(bus_base);
assert 346 uspace/drv/bus/usb/ohci/hc.c assert(hc);
assert 349 uspace/drv/bus/usb/ohci/hc.c assert(hc);
assert 370 uspace/drv/bus/usb/ohci/hc.c assert(batch);
assert 469 uspace/drv/bus/usb/ohci/hc.c assert(instance);
assert 488 uspace/drv/bus/usb/ohci/hc.c assert((OHCI_RD(instance->registers->command_status) & CS_HCR) == 0);
assert 554 uspace/drv/bus/usb/ohci/hc.c assert(instance);
assert 588 uspace/drv/bus/usb/ohci/hc.c assert(instance);
assert 88 uspace/drv/bus/usb/ohci/hc.h assert(hcd);
assert 67 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.c assert(instance);
assert 79 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.c assert(td);
assert 80 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.c assert(ep);
assert 81 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.c assert(ep->direction < ARRAY_SIZE(dir));
assert 121 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 128 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 139 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 151 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 158 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 164 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 174 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 186 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 187 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(next);
assert 189 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert((pa & ED_NEXT_PTR_MASK) << ED_NEXT_PTR_SHIFT == pa);
assert 195 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 206 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 217 uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h assert(instance);
assert 86 uspace/drv/bus/usb/ohci/hw_struct/hcca.h assert(hcca);
assert 87 uspace/drv/bus/usb/ohci/hw_struct/hcca.h assert(index < ARRAY_SIZE(hcca->int_ep));
assert 66 uspace/drv/bus/usb/ohci/hw_struct/transfer_descriptor.c assert(instance);
assert 85 uspace/drv/bus/usb/ohci/hw_struct/transfer_descriptor.c assert(size != 0);
assert 107 uspace/drv/bus/usb/ohci/hw_struct/transfer_descriptor.h assert(instance);
assert 128 uspace/drv/bus/usb/ohci/hw_struct/transfer_descriptor.h assert(instance);
assert 141 uspace/drv/bus/usb/ohci/hw_struct/transfer_descriptor.h assert(instance);
assert 58 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_batch);
assert 71 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ep);
assert 93 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_batch);
assert 150 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_batch);
assert 154 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_ep);
assert 175 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_batch->tds[i] != NULL);
assert 202 uspace/drv/bus/usb/ohci/ohci_batch.c assert((ohci_ep->ed->td_head & ED_TDHEAD_HALTED_FLAG) != 0);
assert 219 uspace/drv/bus/usb/ohci/ohci_batch.c assert(usb_batch->transferred_size <= usb_batch->size);
assert 222 uspace/drv/bus/usb/ohci/ohci_batch.c assert(addr_to_phys(ohci_ep->tds[0]) == ed_tail_td(ohci_ep->ed));
assert 223 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ed_tail_td(ohci_ep->ed) == ed_head_td(ohci_ep->ed));
assert 234 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_batch);
assert 271 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_batch);
assert 274 uspace/drv/bus/usb/ohci/ohci_batch.c assert(dir == USB_DIRECTION_IN || dir == USB_DIRECTION_OUT);
assert 313 uspace/drv/bus/usb/ohci/ohci_batch.c assert(td_current < ohci_batch->td_count - 1);
assert 318 uspace/drv/bus/usb/ohci/ohci_batch.c assert(td_current == ohci_batch->td_count - 1);
assert 344 uspace/drv/bus/usb/ohci/ohci_batch.c assert(ohci_batch);
assert 347 uspace/drv/bus/usb/ohci/ohci_batch.c assert(dir == USB_DIRECTION_IN || dir == USB_DIRECTION_OUT);
assert 368 uspace/drv/bus/usb/ohci/ohci_batch.c assert(td_current < ohci_batch->td_count);
assert 76 uspace/drv/bus/usb/ohci/ohci_batch.h assert(usb_batch);
assert 55 uspace/drv/bus/usb/ohci/ohci_bus.c assert(instance);
assert 56 uspace/drv/bus/usb/ohci/ohci_bus.c assert(instance->ed);
assert 77 uspace/drv/bus/usb/ohci/ohci_bus.c assert(dev);
assert 109 uspace/drv/bus/usb/ohci/ohci_bus.c assert(ep);
assert 137 uspace/drv/bus/usb/ohci/ohci_bus.c assert(ep);
assert 193 uspace/drv/bus/usb/ohci/ohci_bus.c assert(hc);
assert 194 uspace/drv/bus/usb/ohci/ohci_bus.c assert(bus);
assert 88 uspace/drv/bus/usb/ohci/ohci_bus.h assert(ep);
assert 65 uspace/drv/bus/usb/ohci/ohci_rh.c assert(instance);
assert 68 uspace/drv/bus/usb/ohci/ohci_rh.c assert(dsize <= sizeof(instance->hub_descriptor));
assert 115 uspace/drv/bus/usb/ohci/ohci_rh.c assert(instance);
assert 181 uspace/drv/bus/usb/ohci/ohci_rh.c assert(instance);
assert 182 uspace/drv/bus/usb/ohci/ohci_rh.c assert(batch);
assert 199 uspace/drv/bus/usb/ohci/ohci_rh.c assert(!instance->status_change_endpoint);
assert 246 uspace/drv/bus/usb/ohci/ohci_rh.c assert(hub);\
assert 267 uspace/drv/bus/usb/ohci/ohci_rh.c assert(hub);
assert 290 uspace/drv/bus/usb/ohci/ohci_rh.c assert(hub);
assert 454 uspace/drv/bus/usb/ohci/ohci_rh.c assert(hub);
assert 80 uspace/drv/bus/usb/ohci/ohci_rh.h assert(instance);
assert 115 uspace/drv/bus/usb/uhci/hc.c assert(code);
assert 116 uspace/drv/bus/usb/uhci/hc.c assert(hw_res);
assert 213 uspace/drv/bus/usb/uhci/hc.c assert(hw_res);
assert 264 uspace/drv/bus/usb/uhci/hc.c assert(instance);
assert 276 uspace/drv/bus/usb/uhci/hc.c assert(instance);
assert 455 uspace/drv/bus/usb/uhci/hc.c assert(instance);
assert 503 uspace/drv/bus/usb/uhci/hc.c assert(instance);
assert 558 uspace/drv/bus/usb/uhci/hc.c assert(status);
assert 606 uspace/drv/bus/usb/uhci/hc.c assert(instance);
assert 149 uspace/drv/bus/usb/uhci/hc.h assert(hcd);
assert 155 uspace/drv/bus/usb/uhci/hc.h assert(bus);
assert 65 uspace/drv/bus/usb/uhci/hw_struct/queue_head.h assert(instance);
assert 72 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.c assert(instance);
assert 73 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.c assert(size < 1024);
assert 74 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.c assert((pid == USB_PID_SETUP) || (pid == USB_PID_IN) ||
assert 78 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.c assert((next_pa & LINK_POINTER_ADDRESS_MASK) == next_pa);
assert 123 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.c assert(instance);
assert 164 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.c assert(instance);
assert 115 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.h assert(instance);
assert 144 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.h assert(instance);
assert 155 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.h assert(instance);
assert 165 uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.h assert(instance);
assert 72 uspace/drv/bus/usb/uhci/main.c assert(hcd);
assert 60 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance);
assert 85 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance);
assert 98 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance);
assert 99 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance->queue_head);
assert 100 uspace/drv/bus/usb/uhci/transfer_list.c assert(next);
assert 117 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance);
assert 118 uspace/drv/bus/usb/uhci/transfer_list.c assert(uhci_batch);
assert 142 uspace/drv/bus/usb/uhci/transfer_list.c assert((pa & LINK_POINTER_ADDRESS_MASK) == pa);
assert 180 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance);
assert 187 uspace/drv/bus/usb/uhci/transfer_list.c assert(batch->base.ep->active_batch == &batch->base);
assert 222 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance);
assert 223 uspace/drv/bus/usb/uhci/transfer_list.c assert(instance->queue_head);
assert 224 uspace/drv/bus/usb/uhci/transfer_list.c assert(uhci_batch);
assert 225 uspace/drv/bus/usb/uhci/transfer_list.c assert(uhci_batch->qh);
assert 226 uspace/drv/bus/usb/uhci/transfer_list.c assert(fibril_mutex_is_locked(&instance->guard));
assert 227 uspace/drv/bus/usb/uhci/transfer_list.c assert(!list_empty(&instance->batch_list));
assert 242 uspace/drv/bus/usb/uhci/transfer_list.c assert((prev_qh->next & LINK_POINTER_ADDRESS_MASK) ==
assert 63 uspace/drv/bus/usb/uhci/uhci_batch.c assert(uhci_batch);
assert 129 uspace/drv/bus/usb/uhci/uhci_batch.c assert(setup_buffer == (void *) (uhci_batch->qh + 1));
assert 137 uspace/drv/bus/usb/uhci/uhci_batch.c assert(batch_setup[usb_batch->ep->transfer_type]);
assert 154 uspace/drv/bus/usb/uhci/uhci_batch.c assert(uhci_batch);
assert 172 uspace/drv/bus/usb/uhci/uhci_batch.c assert(batch->ep != NULL);
assert 190 uspace/drv/bus/usb/uhci/uhci_batch.c assert(batch->transferred_size >= USB_SETUP_PACKET_SIZE);
assert 194 uspace/drv/bus/usb/uhci/uhci_batch.c assert(batch->transferred_size <= batch->size);
assert 215 uspace/drv/bus/usb/uhci/uhci_batch.c assert(uhci_batch);
assert 218 uspace/drv/bus/usb/uhci/uhci_batch.c assert(dir == USB_DIRECTION_OUT || dir == USB_DIRECTION_IN);
assert 228 uspace/drv/bus/usb/uhci/uhci_batch.c assert(toggle == 0 || toggle == 1);
assert 240 uspace/drv/bus/usb/uhci/uhci_batch.c assert(td < uhci_batch->td_count);
assert 273 uspace/drv/bus/usb/uhci/uhci_batch.c assert(uhci_batch);
assert 276 uspace/drv/bus/usb/uhci/uhci_batch.c assert(dir == USB_DIRECTION_OUT || dir == USB_DIRECTION_IN);
assert 277 uspace/drv/bus/usb/uhci/uhci_batch.c assert(uhci_batch->td_count >= 2);
assert 315 uspace/drv/bus/usb/uhci/uhci_batch.c assert(td < uhci_batch->td_count);
assert 319 uspace/drv/bus/usb/uhci/uhci_batch.c assert(td == uhci_batch->td_count - 1);
assert 84 uspace/drv/bus/usb/uhci/uhci_batch.h assert(uhci_batch);
assert 96 uspace/drv/bus/usb/uhci/uhci_batch.h assert(uhci_batch);
assert 106 uspace/drv/bus/usb/uhci/uhci_batch.h assert(l);
assert 113 uspace/drv/bus/usb/uhci/uhci_batch.h assert(b);
assert 84 uspace/drv/bus/usb/uhci/uhci_rh.c assert(instance);
assert 104 uspace/drv/bus/usb/uhci/uhci_rh.c assert(instance);
assert 105 uspace/drv/bus/usb/uhci/uhci_rh.c assert(batch);
assert 143 uspace/drv/bus/usb/uhci/uhci_rh.c assert(port);
assert 175 uspace/drv/bus/usb/uhci/uhci_rh.c assert(hub);\
assert 414 uspace/drv/bus/usb/uhci/uhci_rh.c assert(hub);
assert 108 uspace/drv/bus/usb/usbdiag/device.c assert(dev);
assert 109 uspace/drv/bus/usb/usbdiag/device.c assert(out_diag_dev);
assert 131 uspace/drv/bus/usb/usbdiag/device.c assert(dev);
assert 85 uspace/drv/bus/usb/usbdiag/device.h assert(usb_dev);
assert 91 uspace/drv/bus/usb/usbdiag/device.h assert(ddf_dev);
assert 97 uspace/drv/bus/usb/usbdiag/device.h assert(ddf_fun);
assert 64 uspace/drv/bus/usb/usbflbk/main.c assert(dev);
assert 71 uspace/drv/bus/usb/usbflbk/main.c assert(dev);
assert 63 uspace/drv/bus/usb/usbhub/port.c assert(port);
assert 72 uspace/drv/bus/usb/usbhub/port.c assert(port);
assert 100 uspace/drv/bus/usb/usbhub/port.c assert(port);
assert 101 uspace/drv/bus/usb/usbhub/port.c assert(port->hub);
assert 295 uspace/drv/bus/usb/usbhub/port.c assert(port);
assert 111 uspace/drv/bus/usb/usbhub/usbhub.c assert(dev);
assert 112 uspace/drv/bus/usb/usbhub/usbhub.c assert(arg);
assert 131 uspace/drv/bus/usb/usbhub/usbhub.c assert(usb_dev);
assert 233 uspace/drv/bus/usb/usbhub/usbhub.c assert(usb_dev);
assert 235 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 254 uspace/drv/bus/usb/usbhub/usbhub.c assert(usb_dev);
assert 256 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 313 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 374 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub_dev);
assert 440 uspace/drv/bus/usb/usbhub/usbhub.c assert(usb_device);
assert 525 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 551 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 572 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 594 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 595 uspace/drv/bus/usb/usbhub/usbhub.c assert(status);
assert 633 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub_dev);
assert 634 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub_dev->usb_device);
assert 717 uspace/drv/bus/usb/usbhub/usbhub.c assert(hub);
assert 718 uspace/drv/bus/usb/usbhub/usbhub.c assert(exch);
assert 719 uspace/drv/bus/usb/usbhub/usbhub.c assert(port);
assert 720 uspace/drv/bus/usb/usbhub/usbhub.c assert(fibril_mutex_is_locked(&port->guard));
assert 71 uspace/drv/bus/usb/usbmid/explore.c assert(config_descriptor);
assert 72 uspace/drv/bus/usb/usbmid/explore.c assert(usb_dev);
assert 140 uspace/drv/bus/usb/usbmid/explore.c assert(dev);
assert 87 uspace/drv/bus/usb/usbmid/main.c assert(dev);
assert 89 uspace/drv/bus/usb/usbmid/main.c assert(usb_mid);
assert 123 uspace/drv/bus/usb/usbmid/main.c assert(dev);
assert 125 uspace/drv/bus/usb/usbmid/main.c assert(usb_mid);
assert 58 uspace/drv/bus/usb/usbmid/usbmid.c assert(iface);
assert 60 uspace/drv/bus/usb/usbmid/usbmid.c assert(usb_dev);
assert 91 uspace/drv/bus/usb/usbmid/usbmid.c assert(mid_iface);
assert 419 uspace/drv/bus/usb/vhc/hub/hub.c assert(port != NULL);
assert 436 uspace/drv/bus/usb/vhc/hub/hub.c assert(port != NULL);
assert 470 uspace/drv/bus/usb/vhc/hub/hub.c assert(port != NULL);
assert 182 uspace/drv/bus/usb/vhc/hub/virthub.c assert(dev != NULL);
assert 183 uspace/drv/bus/usb/vhc/hub/virthub.c assert(conn != NULL);
assert 202 uspace/drv/bus/usb/vhc/hub/virthub.c assert(dev != NULL);
assert 203 uspace/drv/bus/usb/vhc/hub/virthub.c assert(conn != NULL);
assert 222 uspace/drv/bus/usb/vhc/hub/virthub.c assert(dev != NULL);
assert 223 uspace/drv/bus/usb/vhc/hub/virthub.c assert(conn != NULL);
assert 247 uspace/drv/bus/usb/vhc/hub/virthub.c assert(dev != NULL);
assert 55 uspace/drv/bus/usb/vhc/main.c assert(dev);
assert 56 uspace/drv/bus/usb/vhc/main.c assert(fun);
assert 78 uspace/drv/bus/usb/vhc/transfer.c assert(dir == USB_DIRECTION_OUT);
assert 90 uspace/drv/bus/usb/vhc/transfer.c assert(dir == USB_DIRECTION_OUT);
assert 114 uspace/drv/bus/usb/vhc/transfer.c assert(dir == USB_DIRECTION_OUT);
assert 126 uspace/drv/bus/usb/vhc/transfer.c assert(dir == USB_DIRECTION_OUT);
assert 138 uspace/drv/bus/usb/vhc/transfer.c assert(fibril_mutex_is_locked(&dev->guard));
assert 139 uspace/drv/bus/usb/vhc/transfer.c assert(!list_empty(&dev->transfer_queue));
assert 152 uspace/drv/bus/usb/vhc/transfer.c assert(outcome != ENAK);
assert 153 uspace/drv/bus/usb/vhc/transfer.c assert(transfer);
assert 198 uspace/drv/bus/usb/vhc/transfer.c assert(instance);
assert 209 uspace/drv/bus/usb/vhc/transfer.c assert(batch);
assert 212 uspace/drv/bus/usb/vhc/transfer.c assert(vhc);
assert 80 uspace/drv/bus/usb/vhc/vhcd.h assert(hcd);
assert 86 uspace/drv/bus/usb/vhc/vhcd.h assert(bus);
assert 71 uspace/drv/bus/usb/xhci/bus.c assert(bus);
assert 57 uspace/drv/bus/usb/xhci/bus.h assert(bus_base);
assert 64 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 97 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 147 uspace/drv/bus/usb/xhci/commands.c assert(fibril_mutex_is_locked(&cr->guard));
assert 168 uspace/drv/bus/usb/xhci/commands.c assert(fibril_mutex_is_locked(&cr->guard));
assert 177 uspace/drv/bus/usb/xhci/commands.c assert(fibril_mutex_is_locked(&cr->guard));
assert 200 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 353 uspace/drv/bus/usb/xhci/commands.c assert(trb);
assert 426 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 437 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 450 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 451 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 463 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 464 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 465 uspace/drv/bus/usb/xhci/commands.c assert(dma_buffer_is_set(&cmd->input_ctx));
assert 494 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 495 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 501 uspace/drv/bus/usb/xhci/commands.c assert(dma_buffer_is_set(&cmd->input_ctx));
assert 516 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 517 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 518 uspace/drv/bus/usb/xhci/commands.c assert(dma_buffer_is_set(&cmd->input_ctx));
assert 539 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 540 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 554 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 555 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 569 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 570 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 585 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 586 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 598 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 599 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 749 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 750 uspace/drv/bus/usb/xhci/commands.c assert(cmd);
assert 803 uspace/drv/bus/usb/xhci/commands.c assert(hc);
assert 804 uspace/drv/bus/usb/xhci/commands.c assert(stack_cmd);
assert 126 uspace/drv/bus/usb/xhci/device.c assert(ep0);
assert 210 uspace/drv/bus/usb/xhci/device.c assert(bus->devices_by_slot[xhci_dev->slot_id] == NULL);
assert 284 uspace/drv/bus/usb/xhci/device.c assert(bus);
assert 287 uspace/drv/bus/usb/xhci/device.c assert(dev);
assert 310 uspace/drv/bus/usb/xhci/device.c assert(bus);
assert 313 uspace/drv/bus/usb/xhci/device.c assert(dev);
assert 76 uspace/drv/bus/usb/xhci/device.h assert(dev);
assert 64 uspace/drv/bus/usb/xhci/endpoint.c assert(xhci_ep);
assert 173 uspace/drv/bus/usb/xhci/endpoint.c assert(xhci_ep);
assert 219 uspace/drv/bus/usb/xhci/endpoint.c assert(xhci_ep->primary_stream_data_array == NULL);
assert 465 uspace/drv/bus/usb/xhci/endpoint.c assert(ep);
assert 466 uspace/drv/bus/usb/xhci/endpoint.c assert(ep_ctx);
assert 142 uspace/drv/bus/usb/xhci/endpoint.h assert(ep);
assert 148 uspace/drv/bus/usb/xhci/endpoint.h assert(ep);
assert 93 uspace/drv/bus/usb/xhci/hc.c assert(hc->legsup == NULL);
assert 118 uspace/drv/bus/usb/xhci/hc.c assert(minor == 0);
assert 365 uspace/drv/bus/usb/xhci/hc.c assert(code);
assert 366 uspace/drv/bus/usb/xhci/hc.c assert(hw_res);
assert 640 uspace/drv/bus/usb/xhci/hc.c assert(hc);
assert 750 uspace/drv/bus/usb/xhci/hc.c assert(speed < ARRAY_SIZE(usb_speed_to_psiv));
assert 759 uspace/drv/bus/usb/xhci/hc.c assert(hc);
assert 108 uspace/drv/bus/usb/xhci/hc.h assert(bus);
assert 571 uspace/drv/bus/usb/xhci/hw_struct/regs.h assert(XHCI_REG_RD(ec, XHCI_EC_CAP_ID) == XHCI_EC_SUPPORTED_PROTOCOL);
assert 572 uspace/drv/bus/usb/xhci/hw_struct/regs.h assert(XHCI_REG_RD(ec, XHCI_EC_SP_PSIC) > psid);
assert 185 uspace/drv/bus/usb/xhci/hw_struct/trb.h assert((next_phys & 0xf) == 0);
assert 50 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 73 uspace/drv/bus/usb/xhci/isoch.c assert(fibril_mutex_is_locked(&isoch->guard));
assert 90 uspace/drv/bus/usb/xhci/isoch.c assert(fibril_mutex_is_locked(&isoch->guard));
assert 125 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 147 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 305 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 307 uspace/drv/bus/usb/xhci/isoch.c assert(fibril_mutex_is_locked(&isoch->guard));
assert 318 uspace/drv/bus/usb/xhci/isoch.c assert(it->state == ISOCH_FILLED);
assert 391 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 393 uspace/drv/bus/usb/xhci/isoch.c assert(fibril_mutex_is_locked(&isoch->guard));
assert 482 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 486 uspace/drv/bus/usb/xhci/isoch.c assert(transfer->batch.size <= ep->base.max_transfer_size);
assert 517 uspace/drv/bus/usb/xhci/isoch.c assert(it->state == ISOCH_EMPTY);
assert 546 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 593 uspace/drv/bus/usb/xhci/isoch.c assert(ep->base.transfer_type == USB_TRANSFER_ISOCHRONOUS);
assert 51 uspace/drv/bus/usb/xhci/main.c assert(hcd);
assert 83 uspace/drv/bus/usb/xhci/rh.c assert(rh);
assert 84 uspace/drv/bus/usb/xhci/rh.c assert(hc);
assert 123 uspace/drv/bus/usb/xhci/rh.c assert(rh);
assert 133 uspace/drv/bus/usb/xhci/rh.c assert(port);
assert 219 uspace/drv/bus/usb/xhci/rh.c assert(port->device);
assert 170 uspace/drv/bus/usb/xhci/transfers.c assert(ts->remaining > 0 || td_size == 0);
assert 321 uspace/drv/bus/usb/xhci/transfers.c assert(ep->primary_stream_ctx_array != NULL);
assert 401 uspace/drv/bus/usb/xhci/transfers.c assert(batch->transferred_size <= batch->size);
assert 450 uspace/drv/bus/usb/xhci/transfers.c assert(transfer_handlers[type]);
assert 64 uspace/drv/bus/usb/xhci/transfers.h assert(batch);
assert 155 uspace/drv/bus/usb/xhci/trb_ring.c assert(ring);
assert 178 uspace/drv/bus/usb/xhci/trb_ring.c assert(next_segment);
assert 224 uspace/drv/bus/usb/xhci/trb_ring.c assert(trbs > 0);
assert 307 uspace/drv/bus/usb/xhci/trb_ring.c assert(ring);
assert 458 uspace/drv/bus/usb/xhci/trb_ring.c assert(ring);
assert 459 uspace/drv/bus/usb/xhci/trb_ring.c assert(trb);
assert 477 uspace/drv/bus/usb/xhci/trb_ring.c assert(ring);
assert 478 uspace/drv/bus/usb/xhci/trb_ring.c assert(trb);
assert 116 uspace/drv/char/i8042/i8042.c assert(dev);
assert 309 uspace/drv/char/i8042/i8042.c assert(parent_sess != NULL);
assert 60 uspace/drv/char/i8042/main.c assert(dev);
assert 66 uspace/drv/char/ns8250/cyclic_buffer.h assert(!buf_is_empty(buf));
assert 1006 uspace/drv/char/ns8250/ns8250.c assert(data->client_connections > 0);
assert 208 uspace/drv/char/pc-lpt/pc-lpt.c assert(fibril_mutex_is_locked(&lpt->hw_lock));
assert 161 uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c assert(regs);
assert 268 uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c assert((size_t)visual < sizeof(pixel2visual_table) / sizeof(pixel2visual_table[0]));
assert 72 uspace/drv/fb/amdm37x_dispc/main.c assert(gc_id == 42);
assert 89 uspace/drv/fb/amdm37x_dispc/main.c assert(dev);
assert 406 uspace/drv/fb/kfb/port.c assert(gc_id == 42);
assert 370 uspace/drv/hid/atkbd/atkbd.c assert(kbd);
assert 371 uspace/drv/hid/atkbd/atkbd.c assert(dev);
assert 426 uspace/drv/hid/usbhid/kbd/kbddev.c assert(hid_dev != NULL);
assert 427 uspace/drv/hid/usbhid/kbd/kbddev.c assert(kbd_dev != NULL);
assert 455 uspace/drv/hid/usbhid/kbd/kbddev.c assert(i < kbd_dev->key_count);
assert 481 uspace/drv/hid/usbhid/kbd/kbddev.c assert(kbd_dev);
assert 482 uspace/drv/hid/usbhid/kbd/kbddev.c assert(hid_dev);
assert 780 uspace/drv/hid/usbhid/kbd/kbddev.c assert(hid_dev);
assert 111 uspace/drv/hid/usbhid/main.c assert(dev);
assert 113 uspace/drv/hid/usbhid/main.c assert(hid_dev);
assert 133 uspace/drv/hid/usbhid/main.c assert(dev);
assert 135 uspace/drv/hid/usbhid/main.c assert(hid_dev);
assert 149 uspace/drv/hid/usbhid/main.c assert(dev);
assert 151 uspace/drv/hid/usbhid/main.c assert(hid_dev);
assert 166 uspace/drv/hid/usbhid/mouse/mousedev.c assert(mouse_dev != NULL);
assert 241 uspace/drv/hid/usbhid/mouse/mousedev.c assert(field->usage > field->usage_minimum);
assert 243 uspace/drv/hid/usbhid/mouse/mousedev.c assert(index < mouse_dev->buttons_count);
assert 125 uspace/drv/hid/usbhid/multimedia/multimedia.c assert(multim_dev != NULL);
assert 66 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev != NULL);
assert 67 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->subdriver_count == 0);
assert 82 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev != NULL);
assert 83 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->subdriver_count == 0);
assert 98 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev != NULL);
assert 99 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->subdriver_count == 0);
assert 119 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev);
assert 120 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->usb_dev);
assert 121 uspace/drv/hid/usbhid/usbhid.c assert(mapping);
assert 132 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev != NULL);
assert 133 uspace/drv/hid/usbhid/usbhid.c assert(mapping != NULL);
assert 188 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev);
assert 189 uspace/drv/hid/usbhid/usbhid.c assert(subdrivers);
assert 220 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev != NULL);
assert 272 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev);
assert 273 uspace/drv/hid/usbhid/usbhid.c assert(dev);
assert 298 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev != NULL);
assert 317 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->input_report == NULL);
assert 337 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->input_report != NULL);
assert 372 uspace/drv/hid/usbhid/usbhid.c assert(dev);
assert 373 uspace/drv/hid/usbhid/usbhid.c assert(arg);
assert 385 uspace/drv/hid/usbhid/usbhid.c assert(dev);
assert 386 uspace/drv/hid/usbhid/usbhid.c assert(arg);
assert 419 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev);
assert 420 uspace/drv/hid/usbhid/usbhid.c assert(dev);
assert 454 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->subdrivers == NULL);
assert 484 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->subdrivers == NULL);
assert 554 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev);
assert 555 uspace/drv/hid/usbhid/usbhid.c assert(hid_dev->subdrivers != NULL || hid_dev->subdriver_count == 0);
assert 148 uspace/drv/nic/ar9271/ar9271.c assert(dev);
assert 149 uspace/drv/nic/ar9271/ar9271.c assert(info);
assert 272 uspace/drv/nic/ar9271/ar9271.c assert(arg);
assert 334 uspace/drv/nic/ar9271/ar9271.c assert(ieee80211_dev);
assert 367 uspace/drv/nic/ar9271/ar9271.c assert(ieee80211_dev);
assert 416 uspace/drv/nic/ar9271/ar9271.c assert(ieee80211_dev);
assert 421 uspace/drv/nic/ar9271/ar9271.c assert(key_conf);
assert 534 uspace/drv/nic/ar9271/ar9271.c assert(ieee80211_dev);
assert 622 uspace/drv/nic/ar9271/ar9271.c assert(ieee80211_dev);
assert 880 uspace/drv/nic/ar9271/ar9271.c assert(ar9271);
assert 893 uspace/drv/nic/ar9271/ar9271.c assert(dev);
assert 298 uspace/drv/nic/e1k/e1k.c assert(dev);
assert 299 uspace/drv/nic/e1k/e1k.c assert(info);
assert 669 uspace/drv/nic/e1k/e1k.c assert(addr_cnt <= get_free_unicast_address_count(e1000));
assert 692 uspace/drv/nic/e1k/e1k.c assert(addr_cnt <= get_free_multicast_address_count(e1000));
assert 1297 uspace/drv/nic/e1k/e1k.c assert(nic);
assert 1300 uspace/drv/nic/e1k/e1k.c assert(e1000);
assert 1330 uspace/drv/nic/e1k/e1k.c assert(nic);
assert 1333 uspace/drv/nic/e1k/e1k.c assert(e1000);
assert 1344 uspace/drv/nic/e1k/e1k.c assert(period);
assert 1759 uspace/drv/nic/e1k/e1k.c assert(nic);
assert 1922 uspace/drv/nic/e1k/e1k.c assert(dev);
assert 1935 uspace/drv/nic/e1k/e1k.c assert(dev);
assert 1978 uspace/drv/nic/e1k/e1k.c assert(dev != NULL);
assert 1979 uspace/drv/nic/e1k/e1k.c assert(NIC_DATA_DEV(dev) != NULL);
assert 2341 uspace/drv/nic/e1k/e1k.c assert(nic);
assert 134 uspace/drv/nic/ne2k/dp8390.c assert(size == 1);
assert 159 uspace/drv/nic/ne2k/dp8390.c assert(size == 1);
assert 413 uspace/drv/nic/ne2k/dp8390.c assert(ne2k->probed);
assert 414 uspace/drv/nic/ne2k/dp8390.c assert(ne2k->up);
assert 78 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 90 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 227 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 228 uspace/drv/nic/rtl8139/driver.c assert(addr);
assert 245 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 246 uspace/drv/nic/rtl8139/driver.c assert(addr);
assert 372 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 375 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 385 uspace/drv/nic/rtl8139/driver.c assert((size & TSD_SIZE_MASK) == size);
assert 408 uspace/drv/nic/rtl8139/driver.c assert(!rtl8139_tbuf_busy(tsd));
assert 451 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 731 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 734 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 750 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 753 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 758 uspace/drv/nic/rtl8139/driver.c assert(timer_val);
assert 777 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 809 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 909 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 913 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 940 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 943 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 969 uspace/drv/nic/rtl8139/driver.c assert(dev);
assert 970 uspace/drv/nic/rtl8139/driver.c assert(!nic_get_from_ddf_dev(dev));
assert 1012 uspace/drv/nic/rtl8139/driver.c assert(dev);
assert 1030 uspace/drv/nic/rtl8139/driver.c assert(dev);
assert 1031 uspace/drv/nic/rtl8139/driver.c assert(hw_resources);
assert 1034 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1069 uspace/drv/nic/rtl8139/driver.c assert(dev);
assert 1072 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 1230 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1342 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1343 uspace/drv/nic/rtl8139/driver.c assert(addr);
assert 1347 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1372 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1373 uspace/drv/nic/rtl8139/driver.c assert(info);
assert 1376 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 1378 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1407 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1408 uspace/drv/nic/rtl8139/driver.c assert(state);
assert 1411 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1427 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1428 uspace/drv/nic/rtl8139/driver.c assert(speed);
assert 1429 uspace/drv/nic/rtl8139/driver.c assert(duplex);
assert 1430 uspace/drv/nic/rtl8139/driver.c assert(role);
assert 1433 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1474 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1504 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1505 uspace/drv/nic/rtl8139/driver.c assert(we_send);
assert 1506 uspace/drv/nic/rtl8139/driver.c assert(we_receive);
assert 1509 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1539 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1542 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1569 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1572 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1612 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1615 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1624 uspace/drv/nic/rtl8139/driver.c assert(advertisement != 0);
assert 1658 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1661 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1710 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1713 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1746 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1749 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1771 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 1795 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 1798 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1853 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 1854 uspace/drv/nic/rtl8139/driver.c assert(addr_count == 0 || addr);
assert 1857 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1895 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 1898 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1923 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1924 uspace/drv/nic/rtl8139/driver.c assert(mode);
assert 1927 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1948 uspace/drv/nic/rtl8139/driver.c assert(fun);
assert 1951 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 1980 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 1981 uspace/drv/nic/rtl8139/driver.c assert(virtue);
assert 1984 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 2018 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 2019 uspace/drv/nic/rtl8139/driver.c assert(virtue);
assert 2022 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 2058 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 2062 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 2074 uspace/drv/nic/rtl8139/driver.c assert(period);
assert 2120 uspace/drv/nic/rtl8139/driver.c assert(nic_data);
assert 2123 uspace/drv/nic/rtl8139/driver.c assert(rtl8139);
assert 180 uspace/drv/nic/rtl8169/driver.c assert(dev);
assert 183 uspace/drv/nic/rtl8169/driver.c assert(nic_data);
assert 203 uspace/drv/nic/rtl8169/driver.c assert(dev);
assert 204 uspace/drv/nic/rtl8169/driver.c assert(hw_resources);
assert 207 uspace/drv/nic/rtl8169/driver.c assert(rtl8169);
assert 296 uspace/drv/nic/rtl8169/driver.c assert(dev);
assert 297 uspace/drv/nic/rtl8169/driver.c assert(!nic_get_from_ddf_dev(dev));
assert 332 uspace/drv/nic/rtl8169/driver.c assert(dev);
assert 386 uspace/drv/nic/rtl8169/driver.c assert(dev);
assert 812 uspace/drv/nic/rtl8169/driver.c assert(nic_data);
assert 1153 uspace/drv/nic/rtl8169/driver.c assert(rtl8169);
assert 1154 uspace/drv/nic/rtl8169/driver.c assert(addr);
assert 1164 uspace/drv/nic/rtl8169/driver.c assert(rtl8169);
assert 1165 uspace/drv/nic/rtl8169/driver.c assert(addr);
assert 349 uspace/drv/nic/virtio-net/virtio-net.c assert(descno < TX_BUFFERS);
assert 55 uspace/drv/platform/amdm37x/amdm37x.c assert(device);
assert 125 uspace/drv/platform/amdm37x/amdm37x.c assert(device);
assert 295 uspace/drv/platform/amdm37x/amdm37x.c assert(div <= 127);
assert 166 uspace/drv/platform/amdm37x/main.c assert(dev);
assert 167 uspace/drv/platform/amdm37x/main.c assert(fun);
assert 216 uspace/drv/platform/amdm37x/main.c assert(dev);
assert 263 uspace/drv/platform/amdm37x/main.c assert(fun != NULL);
assert 145 uspace/drv/platform/arm64virt/arm64virt.c assert(fun != NULL);
assert 145 uspace/drv/platform/hikey960/hikey960.c assert(fun != NULL);
assert 160 uspace/drv/platform/icp/icp.c assert(fun != NULL);
assert 223 uspace/drv/platform/mac/mac.c assert(fun != NULL);
assert 140 uspace/drv/platform/malta/malta.c assert(fun != NULL);
assert 155 uspace/drv/platform/malta/malta.c assert(fun != NULL);
assert 149 uspace/drv/platform/msim/msim.c assert(fun != NULL);
assert 164 uspace/drv/platform/msim/msim.c assert(fun != NULL);
assert 123 uspace/drv/platform/pc/pc.c assert(fun != NULL);
assert 138 uspace/drv/platform/pc/pc.c assert(fun != NULL);
assert 155 uspace/drv/platform/sun4u/sun4u.c assert(fun != NULL);
assert 170 uspace/drv/platform/sun4u/sun4u.c assert(fun != NULL);
assert 111 uspace/drv/platform/sun4v/sun4v.c assert(fun != NULL);
assert 124 uspace/drv/platform/sun4v/sun4v.c assert(fun != NULL);
assert 727 uspace/drv/time/cmos-rtc/cmos-rtc.c assert(rtc->clients_connected >= 0);
assert 763 uspace/lib/ata/src/ata.c assert(nblocks > 0);
assert 764 uspace/lib/ata/src/ata.c assert(blk_size % 2 == 0);
assert 809 uspace/lib/ata/src/ata.c assert(nblocks > 0);
assert 810 uspace/lib/ata/src/ata.c assert(blk_size % 2 == 0);
assert 133 uspace/lib/bithenge/include/bithenge/blob.h assert(self);
assert 134 uspace/lib/bithenge/include/bithenge/blob.h assert(self->base.blob_ops);
assert 156 uspace/lib/bithenge/include/bithenge/blob.h assert(self);
assert 157 uspace/lib/bithenge/include/bithenge/blob.h assert(self->base.blob_ops);
assert 184 uspace/lib/bithenge/include/bithenge/blob.h assert(self);
assert 185 uspace/lib/bithenge/include/bithenge/blob.h assert(self->base.blob_ops);
assert 201 uspace/lib/bithenge/include/bithenge/blob.h assert(self);
assert 202 uspace/lib/bithenge/include/bithenge/blob.h assert(self->base.blob_ops);
assert 226 uspace/lib/bithenge/include/bithenge/blob.h assert(node->type == BITHENGE_NODE_BLOB);
assert 67 uspace/lib/bithenge/include/bithenge/expression.h assert(self);
assert 78 uspace/lib/bithenge/include/bithenge/expression.h assert(self->ops);
assert 79 uspace/lib/bithenge/include/bithenge/expression.h assert(self->refs > 0);
assert 94 uspace/lib/bithenge/include/bithenge/expression.h assert(self);
assert 95 uspace/lib/bithenge/include/bithenge/expression.h assert(self->ops);
assert 70 uspace/lib/bithenge/include/bithenge/transform.h assert(self);
assert 102 uspace/lib/bithenge/include/bithenge/transform.h assert(self);
assert 111 uspace/lib/bithenge/include/bithenge/transform.h assert(self);
assert 122 uspace/lib/bithenge/include/bithenge/transform.h assert(self->ops);
assert 123 uspace/lib/bithenge/include/bithenge/transform.h assert(self->refs > 0);
assert 116 uspace/lib/bithenge/include/bithenge/tree.h assert(node);
assert 133 uspace/lib/bithenge/include/bithenge/tree.h assert(self->type == BITHENGE_NODE_INTERNAL);
assert 148 uspace/lib/bithenge/include/bithenge/tree.h assert(self->type == BITHENGE_NODE_BOOLEAN);
assert 159 uspace/lib/bithenge/include/bithenge/tree.h assert(self->type == BITHENGE_NODE_INTEGER);
assert 170 uspace/lib/bithenge/include/bithenge/tree.h assert(self->type == BITHENGE_NODE_STRING);
assert 54 uspace/lib/bithenge/src/blob.c assert(blob);
assert 55 uspace/lib/bithenge/src/blob.c assert(ops);
assert 56 uspace/lib/bithenge/src/blob.c assert(ops->destroy);
assert 57 uspace/lib/bithenge/src/blob.c assert(ops->read || ops->read_bits);
assert 58 uspace/lib/bithenge/src/blob.c assert(ops->size);
assert 163 uspace/lib/bithenge/src/blob.c assert(blob);
assert 164 uspace/lib/bithenge/src/blob.c assert(ops);
assert 165 uspace/lib/bithenge/src/blob.c assert(ops->destroy);
assert 166 uspace/lib/bithenge/src/blob.c assert(ops->read);
assert 247 uspace/lib/bithenge/src/blob.c assert(buffer || !len);
assert 373 uspace/lib/bithenge/src/blob.c assert(out);
assert 374 uspace/lib/bithenge/src/blob.c assert(source);
assert 467 uspace/lib/bithenge/src/blob.c assert(a);
assert 468 uspace/lib/bithenge/src/blob.c assert(a->base.blob_ops);
assert 469 uspace/lib/bithenge/src/blob.c assert(b);
assert 470 uspace/lib/bithenge/src/blob.c assert(b->base.blob_ops);
assert 54 uspace/lib/bithenge/src/expression.c assert(ops);
assert 55 uspace/lib/bithenge/src/expression.c assert(ops->evaluate);
assert 56 uspace/lib/bithenge/src/expression.c assert(ops->destroy);
assert 66 uspace/lib/bithenge/src/expression.c assert(false);
assert 226 uspace/lib/bithenge/src/expression.c assert(false);
assert 1077 uspace/lib/bithenge/src/expression.c assert(a_size + b_size <= *size);
assert 1101 uspace/lib/bithenge/src/expression.c assert(a_size % 8 == 0); /* TODO: don't require this */
assert 1108 uspace/lib/bithenge/src/expression.c assert(a_size + b_size <= *size);
assert 1139 uspace/lib/bithenge/src/expression.c assert(out);
assert 1140 uspace/lib/bithenge/src/expression.c assert(a);
assert 1141 uspace/lib/bithenge/src/expression.c assert(b);
assert 1182 uspace/lib/bithenge/src/expression.c assert(out);
assert 1183 uspace/lib/bithenge/src/expression.c assert(a);
assert 1184 uspace/lib/bithenge/src/expression.c assert(b_expr);
assert 1185 uspace/lib/bithenge/src/expression.c assert(scope);
assert 102 uspace/lib/bithenge/src/file.c assert(out);
assert 146 uspace/lib/bithenge/src/file.c assert(filename);
assert 102 uspace/lib/bithenge/src/helenos/block.c assert(out);
assert 526 uspace/lib/bithenge/src/script.c assert(false);
assert 63 uspace/lib/bithenge/src/transform.c assert(ops);
assert 64 uspace/lib/bithenge/src/transform.c assert(ops->apply || ops->prefix_apply);
assert 65 uspace/lib/bithenge/src/transform.c assert(ops->destroy);
assert 76 uspace/lib/bithenge/src/transform.c assert(false);
assert 90 uspace/lib/bithenge/src/transform.c assert(self);
assert 91 uspace/lib/bithenge/src/transform.c assert(self->ops);
assert 127 uspace/lib/bithenge/src/transform.c assert(self);
assert 128 uspace/lib/bithenge/src/transform.c assert(self->ops);
assert 160 uspace/lib/bithenge/src/transform.c assert(self);
assert 161 uspace/lib/bithenge/src/transform.c assert(self->ops);
assert 404 uspace/lib/bithenge/src/transform.c assert(scope);
assert 405 uspace/lib/bithenge/src/transform.c assert(i >= 0 && i < scope->num_params);
assert 424 uspace/lib/bithenge/src/transform.c assert(scope);
assert 426 uspace/lib/bithenge/src/transform.c assert(i >= 0 && i < scope->num_params);
assert 527 uspace/lib/bithenge/src/transform.c assert(transform);
assert 528 uspace/lib/bithenge/src/transform.c assert(bithenge_transform_num_params(transform) == 0);
assert 536 uspace/lib/bithenge/src/transform.c assert(!self->transform);
assert 46 uspace/lib/bithenge/src/tree.c assert(self->base.blob_ops);
assert 79 uspace/lib/bithenge/src/tree.c assert (node->refs > 0);
assert 139 uspace/lib/bithenge/src/tree.c assert(self->type == BITHENGE_NODE_INTERNAL);
assert 171 uspace/lib/bithenge/src/tree.c assert(false);
assert 274 uspace/lib/bithenge/src/tree.c assert(out);
assert 309 uspace/lib/bithenge/src/tree.c assert(out);
assert 325 uspace/lib/bithenge/src/tree.c assert(out);
assert 346 uspace/lib/bithenge/src/tree.c assert(out);
assert 193 uspace/lib/block/block.c assert(devcon);
assert 240 uspace/lib/block/block.c assert(devcon);
assert 395 uspace/lib/block/block.c assert(devcon);
assert 396 uspace/lib/block/block.c assert(devcon->cache);
assert 565 uspace/lib/block/block.c assert(b->toxic);
assert 589 uspace/lib/block/block.c assert(devcon);
assert 590 uspace/lib/block/block.c assert(devcon->cache);
assert 591 uspace/lib/block/block.c assert(block->refcnt >= 1);
assert 711 uspace/lib/block/block.c assert(devcon);
assert 766 uspace/lib/block/block.c assert(devcon);
assert 786 uspace/lib/block/block.c assert(devcon);
assert 804 uspace/lib/block/block.c assert(devcon);
assert 821 uspace/lib/block/block.c assert(devcon);
assert 836 uspace/lib/block/block.c assert(devcon);
assert 907 uspace/lib/block/block.c assert(devcon);
assert 923 uspace/lib/block/block.c assert(devcon);
assert 950 uspace/lib/block/block.c assert(devcon);
assert 967 uspace/lib/block/block.c assert(devcon->cache != NULL);
assert 335 uspace/lib/c/arch/ppc32/src/rtld/reloc.c assert(index * 4 < 0x8000);
assert 375 uspace/lib/c/arch/ppc32/src/rtld/reloc.c assert(woffset >= 18);
assert 379 uspace/lib/c/arch/ppc32/src/rtld/reloc.c assert((woffset & 0x1) == 0);
assert 382 uspace/lib/c/arch/ppc32/src/rtld/reloc.c assert((woffset & 0x3) == 0);
assert 219 uspace/lib/c/arch/sparc64/src/rtld/reloc.c assert((uint32_t *)r_ptr - plt < 32768 * 8);
assert 114 uspace/lib/c/common/adt/bitmap.c assert(start + count <= bitmap->elements);
assert 168 uspace/lib/c/common/adt/bitmap.c assert(start + count <= bitmap->elements);
assert 224 uspace/lib/c/common/adt/bitmap.c assert(count <= dst->elements);
assert 225 uspace/lib/c/common/adt/bitmap.c assert(count <= src->elements);
assert 94 uspace/lib/c/common/adt/hash_table.c assert(h);
assert 95 uspace/lib/c/common/adt/hash_table.c assert(op && op->hash && op->key_hash && op->key_equal);
assert 122 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 123 uspace/lib/c/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 136 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 143 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 153 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 154 uspace/lib/c/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 174 uspace/lib/c/common/adt/hash_table.c assert(cur);
assert 192 uspace/lib/c/common/adt/hash_table.c assert(item);
assert 193 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 194 uspace/lib/c/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 213 uspace/lib/c/common/adt/hash_table.c assert(item);
assert 214 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket && h->bucket_cnt);
assert 215 uspace/lib/c/common/adt/hash_table.c assert(h->op && h->op->hash && h->op->equal);
assert 216 uspace/lib/c/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 247 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 269 uspace/lib/c/common/adt/hash_table.c assert(item);
assert 270 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 277 uspace/lib/c/common/adt/hash_table.c assert(cur);
assert 308 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 309 uspace/lib/c/common/adt/hash_table.c assert(!h->apply_ongoing);
assert 336 uspace/lib/c/common/adt/hash_table.c assert(item);
assert 337 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 338 uspace/lib/c/common/adt/hash_table.c assert(link_in_use(&item->link));
assert 359 uspace/lib/c/common/adt/hash_table.c assert(f);
assert 360 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 400 uspace/lib/c/common/adt/hash_table.c assert(pbuckets && HT_MIN_BUCKETS <= bucket_cnt);
assert 440 uspace/lib/c/common/adt/hash_table.c assert(h && h->bucket);
assert 441 uspace/lib/c/common/adt/hash_table.c assert(HT_MIN_BUCKETS <= new_bucket_cnt);
assert 214 uspace/lib/c/common/adt/odict.c assert(odict->root == NULL);
assert 248 uspace/lib/c/common/adt/odict.c assert(!odlink_used(odlink));
assert 323 uspace/lib/c/common/adt/odict.c assert(pcs == gcs);
assert 355 uspace/lib/c/common/adt/odict.c assert(n != NULL);
assert 362 uspace/lib/c/common/adt/odict.c assert(odlink->b == NULL);
assert 370 uspace/lib/c/common/adt/odict.c assert(c == NULL);
assert 387 uspace/lib/c/common/adt/odict.c assert(c == NULL);
assert 404 uspace/lib/c/common/adt/odict.c assert(p->color == odc_black);
assert 413 uspace/lib/c/common/adt/odict.c assert(s->color == odc_black);
assert 475 uspace/lib/c/common/adt/odict.c assert(s->color == odc_black);
assert 476 uspace/lib/c/common/adt/odict.c assert(sc != NULL);
assert 477 uspace/lib/c/common/adt/odict.c assert(sc->color == odc_red);
assert 787 uspace/lib/c/common/adt/odict.c assert((*p)->b == n);
assert 802 uspace/lib/c/common/adt/odict.c assert((*g)->b == *p);
assert 839 uspace/lib/c/common/adt/odict.c assert(q != NULL);
assert 868 uspace/lib/c/common/adt/odict.c assert(p != NULL);
assert 904 uspace/lib/c/common/adt/odict.c assert(a->up->b == a);
assert 921 uspace/lib/c/common/adt/odict.c assert(b->up->b == b);
assert 988 uspace/lib/c/common/adt/odict.c assert(old->up->b == old);
assert 992 uspace/lib/c/common/adt/odict.c assert(old->odict->root == old);
assert 1009 uspace/lib/c/common/adt/odict.c assert(n->up->b == n);
assert 1015 uspace/lib/c/common/adt/odict.c assert(n->odict->root == n);
assert 1079 uspace/lib/c/common/adt/odict.c assert(hint == NULL || hint->odict == odict);
assert 134 uspace/lib/c/common/include/adt/list.h assert(!link_used(link))
assert 454 uspace/lib/c/common/include/adt/list.h assert(link->prev != NULL && link->next != NULL);
assert 601 uspace/lib/c/common/printf/printf_core.c assert(val.is_special);
assert 663 uspace/lib/c/common/printf/printf_core.c assert(1 <= *len);
assert 712 uspace/lib/c/common/printf/printf_core.c assert(0 < len);
assert 713 uspace/lib/c/common/printf/printf_core.c assert(0 <= precision);
assert 714 uspace/lib/c/common/printf/printf_core.c assert(0 <= dec_exp || -dec_exp <= precision);
assert 946 uspace/lib/c/common/printf/printf_core.c assert(0 < len);
assert 1149 uspace/lib/c/common/printf/printf_core.c assert(0 < len);
assert 1165 uspace/lib/c/common/printf/printf_core.c assert(0 < len);
assert 1237 uspace/lib/c/common/printf/printf_core.c assert(false);
assert 839 uspace/lib/c/common/str.c assert(size > 0);
assert 840 uspace/lib/c/common/str.c assert(src != NULL);
assert 873 uspace/lib/c/common/str.c assert(size > 0);
assert 943 uspace/lib/c/common/str.c assert(size > 0);
assert 957 uspace/lib/c/common/str.c assert(rc == EOVERFLOW);
assert 989 uspace/lib/c/common/str.c assert(size > 0);
assert 1021 uspace/lib/c/common/str.c assert(size > 0);
assert 1063 uspace/lib/c/common/str.c assert(dlen > 0);
assert 1174 uspace/lib/c/common/str.c assert(dlen > 0);
assert 125 uspace/lib/c/common/strtol.c assert(nptr != NULL);
assert 126 uspace/lib/c/common/strtol.c assert(sgn != NULL);
assert 366 uspace/lib/c/common/strtol.c assert(result != NULL);
assert 401 uspace/lib/c/common/strtol.c assert(result != NULL);
assert 436 uspace/lib/c/common/strtol.c assert(result != NULL);
assert 471 uspace/lib/c/common/strtol.c assert(result != NULL);
assert 506 uspace/lib/c/common/strtol.c assert(result != NULL);
assert 541 uspace/lib/c/common/strtol.c assert(result != NULL);
assert 437 uspace/lib/c/generic/async/client.c assert(!msg->forget);
assert 1057 uspace/lib/c/generic/async/client.c assert(rc == EOK);
assert 1069 uspace/lib/c/generic/async/client.c assert(sess);
assert 1072 uspace/lib/c/generic/async/client.c assert(sess->exchanges == 0);
assert 1204 uspace/lib/c/generic/async/client.c assert(sess != NULL);
assert 1385 uspace/lib/c/generic/async/client.c assert(fibril_mutex_is_locked(&sess->remote_state_mtx));
assert 1399 uspace/lib/c/generic/async/client.c assert(fibril_mutex_is_locked(&sess->remote_state_mtx));
assert 1420 uspace/lib/c/generic/async/client.c assert(fibril_mutex_is_locked(&sess->remote_state_mtx));
assert 245 uspace/lib/c/generic/async/ports.c assert(handler != NULL);
assert 275 uspace/lib/c/generic/async/ports.c assert(data);
assert 207 uspace/lib/c/generic/async/server.c assert(async_client_data_create == default_client_data_constructor);
assert 213 uspace/lib/c/generic/async/server.c assert(async_client_data_destroy == default_client_data_destructor);
assert 320 uspace/lib/c/generic/async/server.c assert(arg);
assert 536 uspace/lib/c/generic/async/server.c assert(call);
assert 543 uspace/lib/c/generic/async/server.c assert(conn->msg_channel);
assert 573 uspace/lib/c/generic/async/server.c assert(!list_empty(¬ification_queue));
assert 583 uspace/lib/c/generic/async/server.c assert(m);
assert 638 uspace/lib/c/generic/async/server.c assert(call);
assert 724 uspace/lib/c/generic/async/server.c assert(fib);
assert 848 uspace/lib/c/generic/async/server.c assert(call);
assert 849 uspace/lib/c/generic/async/server.c assert(fibril_connection);
assert 886 uspace/lib/c/generic/async/server.c assert(fibril_connection);
assert 908 uspace/lib/c/generic/async/server.c assert(client);
assert 909 uspace/lib/c/generic/async/server.c assert(client->data);
assert 928 uspace/lib/c/generic/async/server.c assert(call);
assert 1045 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1053 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1061 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1070 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1079 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1088 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1097 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1105 uspace/lib/c/generic/async/server.c assert(call);
assert 1108 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1122 uspace/lib/c/generic/async/server.c assert(call);
assert 1125 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1217 uspace/lib/c/generic/async/server.c assert(call);
assert 1218 uspace/lib/c/generic/async/server.c assert(size);
assert 1244 uspace/lib/c/generic/async/server.c assert(call);
assert 1247 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1271 uspace/lib/c/generic/async/server.c assert(call);
assert 1272 uspace/lib/c/generic/async/server.c assert(size);
assert 1273 uspace/lib/c/generic/async/server.c assert(flags);
assert 1300 uspace/lib/c/generic/async/server.c assert(call);
assert 1303 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1326 uspace/lib/c/generic/async/server.c assert(call);
assert 1355 uspace/lib/c/generic/async/server.c assert(call);
assert 1358 uspace/lib/c/generic/async/server.c assert(chandle != CAP_NIL);
assert 1485 uspace/lib/c/generic/async/server.c assert(call);
assert 1513 uspace/lib/c/generic/async/server.c assert(call);
assert 1543 uspace/lib/c/generic/async/server.c assert(data);
assert 1800 uspace/lib/c/generic/async/server.c assert(call);
assert 1812 uspace/lib/c/generic/async/server.c assert(call);
assert 152 uspace/lib/c/generic/capa.c assert(rc == EOK);
assert 155 uspace/lib/c/generic/capa.c assert(rc == EOK);
assert 173 uspace/lib/c/generic/capa.c assert(rc == EOK);
assert 186 uspace/lib/c/generic/capa.c assert(rc == EOK);
assert 212 uspace/lib/c/generic/capa.c assert(capa->cunit < CU_LIMIT);
assert 43 uspace/lib/c/generic/device/hw_res_parsed.c assert(res);
assert 44 uspace/lib/c/generic/device/hw_res_parsed.c assert((res->type == DMA_CHANNEL_8) || (res->type == DMA_CHANNEL_16));
assert 65 uspace/lib/c/generic/device/hw_res_parsed.c assert(res && (res->type == INTERRUPT));
assert 106 uspace/lib/c/generic/device/hw_res_parsed.c assert(res && (res->type == IO_RANGE));
assert 149 uspace/lib/c/generic/device/hw_res_parsed.c assert(res && (res->type == MEM_RANGE));
assert 102 uspace/lib/c/generic/dirent.c assert(strnlen(dirp->res.d_name, sizeof(dirp->res.d_name)) < sizeof(dirp->res.d_name));
assert 57 uspace/lib/c/generic/double_to_str.c assert(8 * sizeof(num.significand) == significand_width);
assert 85 uspace/lib/c/generic/double_to_str.c assert(/* is_normalized(x) && */ is_normalized(y));
assert 133 uspace/lib/c/generic/double_to_str.c assert(a.exponent == b.exponent);
assert 134 uspace/lib/c/generic/double_to_str.c assert(a.significand >= b.significand);
assert 152 uspace/lib/c/generic/double_to_str.c assert(!is_normalized(val.pos_val));
assert 203 uspace/lib/c/generic/double_to_str.c assert(upper_bound.exponent == lower_bound.exponent);
assert 204 uspace/lib/c/generic/double_to_str.c assert(is_normalized(upper_bound));
assert 205 uspace/lib/c/generic/double_to_str.c assert(normalize(val.pos_val).exponent == upper_bound.exponent);
assert 221 uspace/lib/c/generic/double_to_str.c assert(alpha <= upper_bound.exponent + scale_exp + significand_width);
assert 222 uspace/lib/c/generic/double_to_str.c assert(upper_bound.exponent + scale_exp + significand_width <= gamma);
assert 228 uspace/lib/c/generic/double_to_str.c assert(alpha <= upper_scaled.exponent && upper_scaled.exponent <= gamma);
assert 283 uspace/lib/c/generic/double_to_str.c assert('0' < buf[len - 1]);
assert 284 uspace/lib/c/generic/double_to_str.c assert(0 < digit_val_diff);
assert 341 uspace/lib/c/generic/double_to_str.c assert(scaled_upper.significand != 0);
assert 342 uspace/lib/c/generic/double_to_str.c assert(alpha <= scaled_upper.exponent && scaled_upper.exponent <= gamma);
assert 343 uspace/lib/c/generic/double_to_str.c assert(scaled_upper.exponent == delta.exponent);
assert 344 uspace/lib/c/generic/double_to_str.c assert(scaled_upper.exponent == val_dist.exponent);
assert 345 uspace/lib/c/generic/double_to_str.c assert(val_dist.significand <= delta.significand);
assert 404 uspace/lib/c/generic/double_to_str.c assert(0 < len && len < buf_size);
assert 449 uspace/lib/c/generic/double_to_str.c assert(0 < len && len < buf_size);
assert 527 uspace/lib/c/generic/double_to_str.c assert(len <= MAX_DOUBLE_STR_LEN);
assert 570 uspace/lib/c/generic/double_to_str.c assert(alpha <= w_scaled.exponent && w_scaled.exponent <= gamma);
assert 571 uspace/lib/c/generic/double_to_str.c assert(0 != w_scaled.significand);
assert 669 uspace/lib/c/generic/double_to_str.c assert(/* 0 <= len && */ len < buf_size);
assert 673 uspace/lib/c/generic/double_to_str.c assert(frac_d_cnt < 0 || -frac_d_cnt <= *dec_exponent);
assert 679 uspace/lib/c/generic/double_to_str.c assert(rem_frac_d_cnt <= 0 || w_scaled.significand == 0);
assert 687 uspace/lib/c/generic/double_to_str.c assert(signif_d_cnt < 0 || (int)len <= signif_d_cnt);
assert 783 uspace/lib/c/generic/double_to_str.c assert(len <= MAX_DOUBLE_STR_LEN);
assert 80 uspace/lib/c/generic/elf/elf.c assert(elf_is_valid(hdr));
assert 96 uspace/lib/c/generic/elf/elf.c assert(elf_is_valid(hdr));
assert 125 uspace/lib/c/generic/getopt.c assert(nargv != NULL);
assert 160 uspace/lib/c/generic/getopt.c assert(nargv != NULL);
assert 161 uspace/lib/c/generic/getopt.c assert(options != NULL);
assert 296 uspace/lib/c/generic/getopt.c assert(nargv != NULL);
assert 297 uspace/lib/c/generic/getopt.c assert(options != NULL);
assert 331 uspace/lib/c/generic/getopt.c assert(nargv != NULL);
assert 332 uspace/lib/c/generic/getopt.c assert(options != NULL);
assert 333 uspace/lib/c/generic/getopt.c assert(long_options != NULL);
assert 51 uspace/lib/c/generic/inttypes.c assert(aj >= 0);
assert 144 uspace/lib/c/generic/io/io.c assert(stdinfd == 0);
assert 156 uspace/lib/c/generic/io/io.c assert(stdoutfd <= 1);
assert 170 uspace/lib/c/generic/io/io.c assert(stderrfd <= 2);
assert 317 uspace/lib/c/generic/io/io.c assert(stream->buf == NULL);
assert 240 uspace/lib/c/generic/io/log.c assert(level < LVL_LIMIT);
assert 47 uspace/lib/c/generic/io/logctl.c assert(exchange_out != NULL);
assert 57 uspace/lib/c/generic/io/logctl.c assert(logger_session != NULL);
assert 130 uspace/lib/c/generic/io/table.c assert(rc == ENOMEM);
assert 145 uspace/lib/c/generic/io/table.c assert(rc == ENOMEM);
assert 164 uspace/lib/c/generic/io/table.c assert(rc == ENOMEM);
assert 463 uspace/lib/c/generic/io/table.c assert(list_count(&table->rows) == 1);
assert 464 uspace/lib/c/generic/io/table.c assert(!table->header_row);
assert 507 uspace/lib/c/generic/io/table.c assert(rc == ENOMEM);
assert 514 uspace/lib/c/generic/io/table.c assert(rc == ENOMEM);
assert 532 uspace/lib/c/generic/io/table.c assert(rc == ENOMEM);
assert 67 uspace/lib/c/generic/libc.c assert(!__tcb_is_set());
assert 84 uspace/lib/c/generic/libc.c assert(main_fibril.tcb);
assert 396 uspace/lib/c/generic/loc.c assert(act_size <= LOC_NAME_MAXLEN);
assert 107 uspace/lib/c/generic/pio_trace.c assert(regions);
assert 122 uspace/lib/c/generic/pio_trace.c assert(regions);
assert 159 uspace/lib/c/generic/power_of_ten.c assert(min_bin_exp <= binary_exp && binary_exp <= max_bin_exp);
assert 170 uspace/lib/c/generic/power_of_ten.c assert(fp_powers_of_10[seed_idx].bin_exp < binary_exp);
assert 175 uspace/lib/c/generic/power_of_ten.c assert(fp_powers_of_10[i].bin_exp <= binary_exp + max_bin_exp_diff);
assert 184 uspace/lib/c/generic/power_of_ten.c assert(false);
assert 93 uspace/lib/c/generic/private/futex.h #define futex_assert_is_locked(fut) assert(atomic_load_explicit(&(fut)->val, memory_order_relaxed) <= 0)
assert 124 uspace/lib/c/generic/private/futex.h assert(futex->whandle != CAP_NIL);
assert 147 uspace/lib/c/generic/private/futex.h assert(timeout > 0);
assert 124 uspace/lib/c/generic/rtld/module.c assert(m->dyn.plt_rel == DT_RELA);
assert 183 uspace/lib/c/generic/rtld/rtld.c assert(i++ == m->id);
assert 187 uspace/lib/c/generic/rtld/rtld.c assert(((uintptr_t) dtv[m->id]) % m->tls_align == 0);
assert 226 uspace/lib/c/generic/rtld/rtld.c assert(tcb->dtv != NULL);
assert 236 uspace/lib/c/generic/rtld/rtld.c assert(m != NULL);
assert 238 uspace/lib/c/generic/rtld/rtld.c assert(!link_used(&m->imodules_link));
assert 242 uspace/lib/c/generic/rtld/rtld.c assert(tls_block != NULL);
assert 178 uspace/lib/c/generic/stdio/scanf.c assert(false);
assert 209 uspace/lib/c/generic/stdio/scanf.c assert(**fmt != '0');
assert 327 uspace/lib/c/generic/stdio/scanf.c assert(false);
assert 1125 uspace/lib/c/generic/stdio/scanf.c assert(rc == EIO);
assert 1144 uspace/lib/c/generic/stdio/scanf.c assert(rc == EIO);
assert 1164 uspace/lib/c/generic/stdio/scanf.c assert(rc == EIO);
assert 1221 uspace/lib/c/generic/stdio/scanf.c assert(false);
assert 1263 uspace/lib/c/generic/stdio/scanf.c assert(false);
assert 1283 uspace/lib/c/generic/stdio/scanf.c assert(false);
assert 1341 uspace/lib/c/generic/stdio/scanf.c assert(rc == EOK);
assert 108 uspace/lib/c/generic/stdio/sstream.c assert(stream->ops == &stdio_str_ops);
assert 240 uspace/lib/c/generic/stdlib.c assert(aj >= 0);
assert 261 uspace/lib/c/generic/stdlib.c assert(aj >= 0);
assert 282 uspace/lib/c/generic/stdlib.c assert(aj >= 0);
assert 77 uspace/lib/c/generic/task.c assert(name);
assert 447 uspace/lib/c/generic/task.c assert(texit);
assert 448 uspace/lib/c/generic/task.c assert(retval);
assert 112 uspace/lib/c/generic/thread/fibril.c assert(!multithreaded);
assert 115 uspace/lib/c/generic/thread/fibril.c assert(ready_st_count == count);
assert 212 uspace/lib/c/generic/thread/fibril.c assert(reason != _EVENT_INITIAL);
assert 213 uspace/lib/c/generic/thread/fibril.c assert(reason == _EVENT_TIMED_OUT || reason == _EVENT_TRIGGERED);
assert 223 uspace/lib/c/generic/thread/fibril.c assert(reason == _EVENT_TRIGGERED);
assert 236 uspace/lib/c/generic/thread/fibril.c assert(f->sleep_event == event);
assert 267 uspace/lib/c/generic/thread/fibril.c assert(expires);
assert 269 uspace/lib/c/generic/thread/fibril.c assert(expires->tv_sec == 0);
assert 298 uspace/lib/c/generic/thread/fibril.c assert(list_empty(&ipc_buffer_list));
assert 343 uspace/lib/c/generic/thread/fibril.c assert(buf);
assert 456 uspace/lib/c/generic/thread/fibril.c assert(stack);
assert 465 uspace/lib/c/generic/thread/fibril.c assert(fibril_self()->rmutex_locks == 0);
assert 473 uspace/lib/c/generic/thread/fibril.c assert(srcf);
assert 474 uspace/lib/c/generic/thread/fibril.c assert(dstf);
assert 497 uspace/lib/c/generic/thread/fibril.c assert(srcf == fibril_self());
assert 498 uspace/lib/c/generic/thread/fibril.c assert(srcf->thread_ctx);
assert 592 uspace/lib/c/generic/thread/fibril.c assert(!fibril->is_running);
assert 593 uspace/lib/c/generic/thread/fibril.c assert(fibril->stack);
assert 601 uspace/lib/c/generic/thread/fibril.c assert(timeout);
assert 629 uspace/lib/c/generic/thread/fibril.c assert(fibril_self()->rmutex_locks == 0);
assert 649 uspace/lib/c/generic/thread/fibril.c assert(event->fibril == _EVENT_INITIAL);
assert 677 uspace/lib/c/generic/thread/fibril.c assert(dstf);
assert 687 uspace/lib/c/generic/thread/fibril.c assert(srcf);
assert 692 uspace/lib/c/generic/thread/fibril.c assert(event->fibril != _EVENT_INITIAL);
assert 696 uspace/lib/c/generic/thread/fibril.c assert(event->fibril != srcf);
assert 697 uspace/lib/c/generic/thread/fibril.c assert(event->fibril != _EVENT_INITIAL);
assert 698 uspace/lib/c/generic/thread/fibril.c assert(event->fibril == _EVENT_TIMED_OUT || event->fibril == _EVENT_TRIGGERED);
assert 711 uspace/lib/c/generic/thread/fibril.c assert(fibril_self()->rmutex_locks == 0);
assert 733 uspace/lib/c/generic/thread/fibril.c assert(!fibril->is_running);
assert 753 uspace/lib/c/generic/thread/fibril.c assert(__tcb_is_set());
assert 755 uspace/lib/c/generic/thread/fibril.c assert(tcb->fibril_data);
assert 799 uspace/lib/c/generic/thread/fibril.c assert(fibril_self()->rmutex_locks == 0);
assert 203 uspace/lib/c/generic/thread/fibril_synch.c assert(fm->oi.owned_by == (fibril_t *) fibril_get_id());
assert 207 uspace/lib/c/generic/thread/fibril_synch.c assert(wdp);
assert 318 uspace/lib/c/generic/thread/fibril_synch.c assert(!frw->readers && !frw->writers);
assert 351 uspace/lib/c/generic/thread/fibril_synch.c assert(frw->readers > 0);
assert 359 uspace/lib/c/generic/thread/fibril_synch.c assert(frw->writers == 1);
assert 360 uspace/lib/c/generic/thread/fibril_synch.c assert(frw->oi.owned_by == fibril_self());
assert 376 uspace/lib/c/generic/thread/fibril_synch.c assert(frw->writers <= 1);
assert 402 uspace/lib/c/generic/thread/fibril_synch.c assert(fibril_mutex_is_locked(fm));
assert 493 uspace/lib/c/generic/thread/fibril_synch.c assert(false);
assert 543 uspace/lib/c/generic/thread/fibril_synch.c assert(timer->state == fts_not_set || timer->state == fts_fired);
assert 588 uspace/lib/c/generic/thread/fibril_synch.c assert(fibril_mutex_is_locked(timer->lockp));
assert 589 uspace/lib/c/generic/thread/fibril_synch.c assert(timer->state == fts_not_set || timer->state == fts_fired);
assert 635 uspace/lib/c/generic/thread/fibril_synch.c assert(fibril_mutex_is_locked(timer->lockp));
assert 673 uspace/lib/c/generic/thread/fibril_synch.c assert(count >= 0);
assert 700 uspace/lib/c/generic/thread/fibril_synch.c assert(w);
assert 69 uspace/lib/c/generic/thread/futex.c assert(owner == self);
assert 79 uspace/lib/c/generic/thread/futex.c assert(owner != self);
assert 98 uspace/lib/c/generic/thread/futex.c assert(prev_owner == NULL);
assert 118 uspace/lib/c/generic/thread/futex.c assert(owner == NULL);
assert 62 uspace/lib/c/generic/thread/thread.c assert(!__tcb_is_set());
assert 63 uspace/lib/c/generic/thread/thread.c assert(fibril);
assert 80 uspace/lib/c/generic/thread/tls.c assert(runtime_env == NULL);
assert 87 uspace/lib/c/generic/thread/tls.c assert(!elf_get_phdr(elf, PT_DYNAMIC));
assert 89 uspace/lib/c/generic/thread/tls.c assert(runtime_env == NULL);
assert 100 uspace/lib/c/generic/thread/tls.c assert(tls_align <= PAGE_SIZE);
assert 140 uspace/lib/c/generic/thread/tls.c assert(align <= PAGE_SIZE);
assert 187 uspace/lib/c/generic/thread/tls.c assert(tls != NULL);
assert 143 uspace/lib/c/generic/time.c assert(mon >= 0);
assert 144 uspace/lib/c/generic/time.c assert(mon <= 11);
assert 227 uspace/lib/c/generic/time.c assert(result >= 0);
assert 228 uspace/lib/c/generic/time.c assert(result < op2);
assert 229 uspace/lib/c/generic/time.c assert(div * op2 + result == op1);
assert 788 uspace/lib/c/generic/time.c assert(s != NULL);
assert 789 uspace/lib/c/generic/time.c assert(format != NULL);
assert 790 uspace/lib/c/generic/time.c assert(tm != NULL);
assert 995 uspace/lib/c/generic/time.c assert(result != NULL);
assert 1045 uspace/lib/c/generic/time.c assert(timeptr != NULL);
assert 1046 uspace/lib/c/generic/time.c assert(buf != NULL);
assert 242 uspace/lib/c/generic/vfs/vfs.c assert(handle != NULL);
assert 74 uspace/lib/c/include/refcount.h assert(old >= 0);
assert 93 uspace/lib/c/include/refcount.h assert(old >= 0);
assert 101 uspace/lib/c/include/refcount.h assert(val == -1);
assert 62 uspace/lib/clui/src/nchoice.c assert(rc == ENOMEM);
assert 120 uspace/lib/clui/src/nchoice.c assert(choice->def_opt == NULL);
assert 167 uspace/lib/clui/src/nchoice.c assert(rc == EIO || rc == ENOENT);
assert 195 uspace/lib/clui/src/nchoice.c assert(false);
assert 77 uspace/lib/clui/src/tinput.c assert(col < ti->con_cols);
assert 78 uspace/lib/clui/src/tinput.c assert(row < ti->con_rows);
assert 119 uspace/lib/clui/src/tinput.c assert(sa <= sb);
assert 875 uspace/lib/clui/src/tinput.c assert(ti->prompt_coord % ti->con_cols == 0);
assert 886 uspace/lib/clui/src/tinput.c assert(ti->prompt_coord <= ti->text_coord);
assert 913 uspace/lib/clui/src/tinput.c assert(ti->prompt_coord % ti->con_cols == 0);
assert 935 uspace/lib/clui/src/tinput.c assert(ti->nc + ti->text_coord < ti->con_cols * ti->con_rows);
assert 45 uspace/lib/corecfg/src/corecfg.c assert(corecfg_sess == NULL);
assert 114 uspace/lib/cpp/include/__bits/thread/future.hpp assert(state_);
assert 123 uspace/lib/cpp/include/__bits/thread/future.hpp assert(state_);
assert 134 uspace/lib/cpp/include/__bits/thread/future.hpp assert(state_);
assert 205 uspace/lib/cpp/include/__bits/thread/future.hpp assert(this->state_);
assert 216 uspace/lib/cpp/include/__bits/thread/future.hpp assert(this->state_->get());
assert 98 uspace/lib/cpp/include/__bits/thread/promise.hpp assert(state_);
assert 105 uspace/lib/cpp/include/__bits/thread/promise.hpp assert(state_);
assert 185 uspace/lib/cpp/include/__bits/thread/promise.hpp assert(this->state_);
assert 301 uspace/lib/cpp/include/__bits/thread/promise.hpp assert(this->state_);
assert 380 uspace/lib/cpp/include/__bits/thread/promise.hpp assert(this->state_);
assert 74 uspace/lib/cpp/include/__bits/thread/shared_future.hpp assert(this->state_);
assert 90 uspace/lib/cpp/include/__bits/thread/shared_future.hpp assert(this->state_->get());
assert 201 uspace/lib/crypto/crypto.c assert(input_size < SSIZE_MAX);
assert 433 uspace/lib/device/src/devman.c assert(act_size <= buf_size - 1);
assert 59 uspace/lib/device/src/irc.c assert(irc_sess == NULL);
assert 527 uspace/lib/device/src/vol.c assert(s != NULL);
assert 61 uspace/lib/display/src/wndresize.c assert(false);
assert 79 uspace/lib/drv/generic/dev_iface.c assert(is_valid_iface_idx(idx));
assert 97 uspace/lib/drv/generic/driver.c assert(fibril_mutex_is_locked(&devices_mutex));
assert 109 uspace/lib/drv/generic/driver.c assert(fibril_mutex_is_locked(&functions_mutex));
assert 328 uspace/lib/drv/generic/driver.c assert(list_first(&functions) == NULL);
assert 482 uspace/lib/drv/generic/driver.c assert(rem_iface != NULL);
assert 626 uspace/lib/drv/generic/driver.c assert(dev->driver_data == NULL);
assert 681 uspace/lib/drv/generic/driver.c assert(dev->name == NULL);
assert 756 uspace/lib/drv/generic/driver.c assert(fun->bound == false);
assert 757 uspace/lib/drv/generic/driver.c assert(fun->driver_data == NULL);
assert 793 uspace/lib/drv/generic/driver.c assert(fun->bound == false);
assert 806 uspace/lib/drv/generic/driver.c assert(is_valid_iface_idx(idx));
assert 829 uspace/lib/drv/generic/driver.c assert(fun->bound == false);
assert 830 uspace/lib/drv/generic/driver.c assert(fun->name != NULL);
assert 831 uspace/lib/drv/generic/driver.c assert(fun->dev != NULL);
assert 857 uspace/lib/drv/generic/driver.c assert(fun->bound == true);
assert 878 uspace/lib/drv/generic/driver.c assert(fun->bound == true);
assert 896 uspace/lib/drv/generic/driver.c assert(fun->bound == true);
assert 921 uspace/lib/drv/generic/driver.c assert(fun->bound == false);
assert 922 uspace/lib/drv/generic/driver.c assert(fun->ftype == fun_inner);
assert 938 uspace/lib/drv/generic/driver.c assert(fun->conn_handler == NULL);
assert 948 uspace/lib/drv/generic/driver.c assert(fun->ops == NULL);
assert 967 uspace/lib/drv/generic/driver.c assert(fun->bound == true);
assert 968 uspace/lib/drv/generic/driver.c assert(fun->ftype == fun_exposed);
assert 178 uspace/lib/drv/generic/logbuf.c assert(printed >= 0);
assert 422 uspace/lib/drv/generic/remote_audio_pcm.c assert((format & UINT16_MAX) == format);
assert 519 uspace/lib/drv/generic/remote_audio_pcm.c assert((format & UINT16_MAX) == format);
assert 68 uspace/lib/drv/generic/remote_ieee80211.c assert(results);
assert 125 uspace/lib/drv/generic/remote_ieee80211.c assert(ssid_start);
assert 275 uspace/lib/drv/generic/remote_ieee80211.c assert(ieee80211_iface->get_scan_results);
assert 309 uspace/lib/drv/generic/remote_ieee80211.c assert(ieee80211_iface->connect);
assert 363 uspace/lib/drv/generic/remote_ieee80211.c assert(ieee80211_iface->disconnect);
assert 162 uspace/lib/drv/generic/remote_nic.c assert(state);
assert 204 uspace/lib/drv/generic/remote_nic.c assert(address);
assert 231 uspace/lib/drv/generic/remote_nic.c assert(address);
assert 258 uspace/lib/drv/generic/remote_nic.c assert(stats);
assert 288 uspace/lib/drv/generic/remote_nic.c assert(device_info);
assert 316 uspace/lib/drv/generic/remote_nic.c assert(cable_state);
assert 571 uspace/lib/drv/generic/remote_nic.c assert(mode);
assert 660 uspace/lib/drv/generic/remote_nic.c assert(mode);
assert 738 uspace/lib/drv/generic/remote_nic.c assert(mode);
assert 780 uspace/lib/drv/generic/remote_nic.c assert(mode);
assert 899 uspace/lib/drv/generic/remote_nic.c assert(mask);
assert 990 uspace/lib/drv/generic/remote_nic.c assert(id);
assert 1140 uspace/lib/drv/generic/remote_nic.c assert(count);
assert 1178 uspace/lib/drv/generic/remote_nic.c assert(matched_type);
assert 1218 uspace/lib/drv/generic/remote_nic.c assert(supported);
assert 1219 uspace/lib/drv/generic/remote_nic.c assert(active);
assert 1266 uspace/lib/drv/generic/remote_nic.c assert(mode);
assert 1342 uspace/lib/drv/generic/remote_nic.c assert(nic_iface->send_frame);
assert 1363 uspace/lib/drv/generic/remote_nic.c assert(nic_iface->callback_create);
assert 1373 uspace/lib/drv/generic/remote_nic.c assert(nic_iface->get_state);
assert 1385 uspace/lib/drv/generic/remote_nic.c assert(nic_iface->set_state);
assert 1397 uspace/lib/drv/generic/remote_nic.c assert(nic_iface->get_address);
assert 154 uspace/lib/drv/generic/remote_pci.c assert(iface);
assert 172 uspace/lib/drv/generic/remote_pci.c assert(iface);
assert 189 uspace/lib/drv/generic/remote_pci.c assert(iface);
assert 207 uspace/lib/drv/generic/remote_pci.c assert(iface);
assert 225 uspace/lib/drv/generic/remote_pci.c assert(iface);
assert 243 uspace/lib/drv/generic/remote_pci.c assert(iface);
assert 306 uspace/lib/drv/generic/remote_usbhc.c assert(fun);
assert 307 uspace/lib/drv/generic/remote_usbhc.c assert(iface);
assert 308 uspace/lib/drv/generic/remote_usbhc.c assert(call);
assert 344 uspace/lib/drv/generic/remote_usbhc.c assert(fun);
assert 345 uspace/lib/drv/generic/remote_usbhc.c assert(iface);
assert 346 uspace/lib/drv/generic/remote_usbhc.c assert(call);
assert 402 uspace/lib/drv/generic/remote_usbhc.c assert(trans);
assert 403 uspace/lib/drv/generic/remote_usbhc.c assert(trans->request.size > 0);
assert 448 uspace/lib/drv/generic/remote_usbhc.c assert(fun);
assert 449 uspace/lib/drv/generic/remote_usbhc.c assert(iface);
assert 450 uspace/lib/drv/generic/remote_usbhc.c assert(call);
assert 134 uspace/lib/ext4/src/balloc.c assert(block_group_first == block_group_last);
assert 92 uspace/lib/ext4/src/bitmap.c assert((idx % 8) == 0);
assert 106 uspace/lib/ext4/src/bitmap.c assert(remaining < 8);
assert 205 uspace/lib/ext4/src/directory.c assert(it->current != NULL);
assert 360 uspace/lib/ext4/src/directory.c assert(entry_len <= block_size);
assert 606 uspace/lib/ext4/src/directory.c assert(tmp_dentry_length + offset == pos);
assert 487 uspace/lib/ext4/src/extent.c assert(tmp_path[pos].index != NULL);
assert 634 uspace/lib/ext4/src/extent.c assert(path_ptr->extent != NULL);
assert 854 uspace/lib/ext4/src/extent.c assert(path_ptr == path);
assert 1870 uspace/lib/ext4/src/filesystem.c assert(!(ext4_superblock_has_feature_incompatible(fs->superblock,
assert 456 uspace/lib/ext4/src/inode.c assert(idx < EXT4_INODE_DIRECT_BLOCK_COUNT);
assert 470 uspace/lib/ext4/src/inode.c assert(idx < EXT4_INODE_DIRECT_BLOCK_COUNT);
assert 359 uspace/lib/ext4/src/ops.c assert(enode->instance->open_nodes_count > 0);
assert 402 uspace/lib/ext4/src/ops.c assert(enode->references > 0);
assert 637 uspace/lib/ext4/src/ops.c assert(lnk_count == 1);
assert 1257 uspace/lib/ext4/src/ops.c assert(offset_in_block + bytes <= block_size);
assert 490 uspace/lib/fdisk/src/fdisk.c assert(part != NULL);
assert 513 uspace/lib/fdisk/src/fdisk.c assert(part != NULL);
assert 593 uspace/lib/fdisk/src/fdisk.c assert(part != NULL);
assert 1014 uspace/lib/fdisk/src/fdisk.c assert(rc == ENOSPC);
assert 1028 uspace/lib/fdisk/src/fdisk.c assert(fnblocks < hdrb + nom_blocks);
assert 563 uspace/lib/fs/libfs.c assert(cur != NULL);
assert 571 uspace/lib/fs/libfs.c assert(par != NULL);
assert 583 uspace/lib/fs/libfs.c assert(rc != ERANGE);
assert 594 uspace/lib/fs/libfs.c assert(component[clen] == 0);
assert 622 uspace/lib/fs/libfs.c assert(par == NULL || ops->is_directory(par));
assert 623 uspace/lib/fs/libfs.c assert(par != NULL || cur != NULL);
assert 117 uspace/lib/gfxfont/src/font.c assert(rc == EINVAL);
assert 224 uspace/lib/gfxfont/src/font.c assert(finfo->font != NULL);
assert 411 uspace/lib/gfxfont/src/font.c assert(g != NULL);
assert 87 uspace/lib/gfxfont/src/glyph.c assert(rc == EINVAL);
assert 331 uspace/lib/gfxfont/src/glyph.c assert(gfx_rect_is_inside(&drect, dbrect));
assert 85 uspace/lib/gfxfont/src/glyph_bmp.c assert(font->rect.p0.x == 0);
assert 86 uspace/lib/gfxfont/src/glyph_bmp.c assert(font->rect.p0.y == 0);
assert 140 uspace/lib/gfxfont/src/glyph_bmp.c assert(font->rect.p0.x == 0);
assert 141 uspace/lib/gfxfont/src/glyph_bmp.c assert(font->rect.p0.y == 0);
assert 174 uspace/lib/hound/src/client.c assert(hound);
assert 200 uspace/lib/hound/src/client.c assert(hound);
assert 201 uspace/lib/hound/src/client.c assert(names);
assert 202 uspace/lib/hound/src/client.c assert(count);
assert 217 uspace/lib/hound/src/client.c assert(hound);
assert 218 uspace/lib/hound/src/client.c assert(names);
assert 219 uspace/lib/hound/src/client.c assert(count);
assert 236 uspace/lib/hound/src/client.c assert(hound);
assert 237 uspace/lib/hound/src/client.c assert(target);
assert 273 uspace/lib/hound/src/client.c assert(hound);
assert 274 uspace/lib/hound/src/client.c assert(target);
assert 296 uspace/lib/hound/src/client.c assert(hound);
assert 347 uspace/lib/hound/src/client.c assert(stream);
assert 362 uspace/lib/hound/src/client.c assert(stream);
assert 375 uspace/lib/hound/src/client.c assert(stream);
assert 389 uspace/lib/hound/src/client.c assert(hound);
assert 407 uspace/lib/hound/src/client.c assert(hound);
assert 426 uspace/lib/hound/src/client.c assert(hound);
assert 447 uspace/lib/hound/src/client.c assert(hound);
assert 465 uspace/lib/hound/src/client.c assert(hound);
assert 484 uspace/lib/hound/src/client.c assert(hound);
assert 128 uspace/lib/hound/src/protocol.c assert(sess);
assert 129 uspace/lib/hound/src/protocol.c assert(name);
assert 161 uspace/lib/hound/src/protocol.c assert(sess);
assert 182 uspace/lib/hound/src/protocol.c assert(sess);
assert 183 uspace/lib/hound/src/protocol.c assert(ids);
assert 184 uspace/lib/hound/src/protocol.c assert(count);
assert 256 uspace/lib/hound/src/protocol.c assert(sess);
assert 257 uspace/lib/hound/src/protocol.c assert(source);
assert 258 uspace/lib/hound/src/protocol.c assert(sink);
assert 285 uspace/lib/hound/src/protocol.c assert(sess);
assert 131 uspace/lib/http/src/request.c assert(pos_size == 0);
assert 500 uspace/lib/ieee80211/src/ieee80211.c assert(arg);
assert 182 uspace/lib/ieee80211/src/ieee80211_iface_impl.c assert(ssid_start);
assert 183 uspace/lib/ieee80211/src/ieee80211_iface_impl.c assert(password);
assert 666 uspace/lib/inet/src/addr.c assert(false);
assert 690 uspace/lib/inet/src/addr.c assert(false);
assert 51 uspace/lib/inet/src/dhcp.c assert(dhcp_sess == NULL);
assert 128 uspace/lib/inet/src/dnsr.c assert(act_size <= DNSR_NAME_MAX_SIZE);
assert 117 uspace/lib/inet/src/host.c assert(rc == ENOMEM);
assert 222 uspace/lib/inet/src/host.c assert(false);
assert 151 uspace/lib/inet/src/hostport.c assert(rc == ENOMEM);
assert 279 uspace/lib/inet/src/hostport.c assert(false);
assert 80 uspace/lib/inet/src/inet.c assert(inet_sess == NULL);
assert 81 uspace/lib/inet/src/inet.c assert(inet_ev_ops == NULL);
assert 82 uspace/lib/inet/src/inet.c assert(inet_protocol == 0);
assert 124 uspace/lib/inet/src/inetcfg.c assert(inetcfg_sess == NULL);
assert 224 uspace/lib/inet/src/inetcfg.c assert(act_size <= LOC_NAME_MAXLEN);
assert 312 uspace/lib/inet/src/inetcfg.c assert(act_size <= LOC_NAME_MAXLEN);
assert 435 uspace/lib/inet/src/inetcfg.c assert(act_size <= LOC_NAME_MAXLEN);
assert 51 uspace/lib/inet/src/inetping.c assert(inetping_sess == NULL);
assert 436 uspace/lib/inet/src/tcp.c assert(conn->conn_failed || conn->conn_reset);
assert 751 uspace/lib/label/src/gpt.c assert(rc == EOK);
assert 986 uspace/lib/label/src/mbr.c assert(link_used(&part->llog));
assert 987 uspace/lib/label/src/mbr.c assert(part->block0 >= ep_b0);
assert 988 uspace/lib/label/src/mbr.c assert(part->hdr_blocks <= part->block0 - ep_b0);
assert 44 uspace/lib/math/generic/nearbyint.c assert(!signbit(val));
assert 67 uspace/lib/math/generic/nearbyint.c assert(exp > 0);
assert 94 uspace/lib/math/generic/nearbyint.c assert(!signbit(val));
assert 117 uspace/lib/math/generic/nearbyint.c assert(exp > 0);
assert 160 uspace/lib/math/generic/nearbyint.c assert(false);
assert 181 uspace/lib/math/generic/nearbyint.c assert(false);
assert 135 uspace/lib/memgfx/src/memgc.c assert(mgc->rect.p0.x == 0);
assert 136 uspace/lib/memgfx/src/memgc.c assert(mgc->rect.p0.y == 0);
assert 137 uspace/lib/memgfx/src/memgc.c assert(mgc->alloc.pitch == mgc->rect.p1.x * (int)sizeof(uint32_t));
assert 405 uspace/lib/memgfx/src/memgc.c assert(mbm->alloc.pitch == (mbm->rect.p1.x - mbm->rect.p0.x) *
assert 411 uspace/lib/memgfx/src/memgc.c assert(mbm->mgc->rect.p0.x == 0);
assert 412 uspace/lib/memgfx/src/memgc.c assert(mbm->mgc->rect.p0.y == 0);
assert 413 uspace/lib/memgfx/src/memgc.c assert(mbm->mgc->alloc.pitch == mbm->mgc->rect.p1.x * (int)sizeof(uint32_t));
assert 95 uspace/lib/nettl/src/amap.c assert(rc == ENOMEM);
assert 116 uspace/lib/nettl/src/amap.c assert(list_empty(&map->repla));
assert 117 uspace/lib/nettl/src/amap.c assert(list_empty(&map->laddr));
assert 118 uspace/lib/nettl/src/amap.c assert(list_empty(&map->llink));
assert 389 uspace/lib/nettl/src/amap.c assert(rc == ENOMEM);
assert 433 uspace/lib/nettl/src/amap.c assert(rc == ENOMEM);
assert 477 uspace/lib/nettl/src/amap.c assert(rc == ENOMEM);
assert 76 uspace/lib/nettl/src/portrng.c assert(list_empty(&pr->used));
assert 198 uspace/lib/nettl/src/portrng.c assert(false);
assert 124 uspace/lib/nic/src/nic_addr_db.c assert(db);
assert 143 uspace/lib/nic/src/nic_addr_db.c assert(db);
assert 154 uspace/lib/nic/src/nic_addr_db.c assert(db);
assert 171 uspace/lib/nic/src/nic_addr_db.c assert(db && addr);
assert 203 uspace/lib/nic/src/nic_addr_db.c assert(db && addr);
assert 226 uspace/lib/nic/src/nic_addr_db.c assert(db && addr);
assert 216 uspace/lib/nic/src/nic_driver.c assert(on_wv_add != NULL && on_wv_remove != NULL);
assert 373 uspace/lib/nic/src/nic_driver.c assert(frame != NULL && frames != NULL);
assert 427 uspace/lib/nic/src/nic_driver.c assert(nic_data);
assert 457 uspace/lib/nic/src/nic_driver.c assert(MAC_IS_ZERO(nic_data->mac.address));
assert 747 uspace/lib/nic/src/nic_driver.c assert(mode != NULL);
assert 767 uspace/lib/nic/src/nic_driver.c assert(mode != NULL);
assert 782 uspace/lib/nic/src/nic_driver.c assert(mode != NULL);
assert 815 uspace/lib/nic/src/nic_driver.c assert(mask);
assert 222 uspace/lib/nic/src/nic_impl.c assert(address);
assert 242 uspace/lib/nic/src/nic_impl.c assert (stats != NULL);
assert 288 uspace/lib/nic/src/nic_impl.c assert((addr_count == 0 && addr_list == NULL) ||
assert 355 uspace/lib/nic/src/nic_impl.c assert((addr_count == 0 && addr_list == NULL) ||
assert 765 uspace/lib/nic/src/nic_impl.c assert(rc == EOK || rc == ENOTSUP || rc == EINVAL);
assert 770 uspace/lib/nic/src/nic_impl.c assert(rc == EOK || rc == ENOTSUP);
assert 325 uspace/lib/nic/src/nic_rx_control.c assert((address_count == 0 && address_list == NULL) ||
assert 398 uspace/lib/nic/src/nic_rx_control.c assert(frame_type != NULL);
assert 200 uspace/lib/nic/src/nic_wol_virtues.c assert(wvs->lists[virtue->type] != NULL);
assert 207 uspace/lib/nic/src/nic_wol_virtues.c assert(wv != NULL);
assert 133 uspace/lib/ofw/src/ofw.c assert(!ofw_child_it_end(it));
assert 136 uspace/lib/ofw/src/ofw.c assert(it->pos + adj <= it->keys_sz);
assert 157 uspace/lib/ofw/src/ofw.c assert(!ofw_child_it_end(it));
assert 172 uspace/lib/ofw/src/ofw.c assert(!ofw_child_it_end(it));
assert 272 uspace/lib/ofw/src/ofw.c assert(!ofw_prop_it_end(it));
assert 288 uspace/lib/ofw/src/ofw.c assert(!ofw_prop_it_end(it));
assert 144 uspace/lib/output/src/chargrid.c assert(scrbuf->col < scrbuf->cols);
assert 145 uspace/lib/output/src/chargrid.c assert(scrbuf->row < scrbuf->rows);
assert 173 uspace/lib/output/src/chargrid.c assert(scrbuf->col < scrbuf->cols);
assert 174 uspace/lib/output/src/chargrid.c assert(scrbuf->row < scrbuf->rows);
assert 194 uspace/lib/output/src/chargrid.c assert(scrbuf->col < scrbuf->cols);
assert 195 uspace/lib/output/src/chargrid.c assert(scrbuf->row < scrbuf->rows);
assert 220 uspace/lib/output/src/chargrid.c assert(scrbuf->col < scrbuf->cols);
assert 221 uspace/lib/output/src/chargrid.c assert(scrbuf->row < scrbuf->rows);
assert 287 uspace/lib/output/src/chargrid.c assert(col);
assert 288 uspace/lib/output/src/chargrid.c assert(row);
assert 83 uspace/lib/pcm/src/format.c assert(a);
assert 84 uspace/lib/pcm/src/format.c assert(b);
assert 279 uspace/lib/pcm/src/format.c assert(f);
assert 280 uspace/lib/pcm/src/format.c assert(buffer);
assert 117 uspace/lib/pcut/src/list.c assert(first != NULL);
assert 139 uspace/lib/pcut/src/list.c assert(first != NULL);
assert 92 uspace/lib/pcut/src/print.c assert(0 && "unreachable case in item-kind switch");
assert 134 uspace/lib/posix/include/common/adt/list.h assert(!link_used(link))
assert 454 uspace/lib/posix/include/common/adt/list.h assert(link->prev != NULL && link->next != NULL);
assert 74 uspace/lib/posix/include/libc/refcount.h assert(old >= 0);
assert 93 uspace/lib/posix/include/libc/refcount.h assert(old >= 0);
assert 101 uspace/lib/posix/include/libc/refcount.h assert(val == -1);
assert 140 uspace/lib/posix/src/fnmatch.c assert(p[0] == '[' && p[1] == seq /* Caller should ensure this. */);
assert 273 uspace/lib/posix/src/fnmatch.c assert(pattern != NULL);
assert 274 uspace/lib/posix/src/fnmatch.c assert(*pattern != NULL);
assert 275 uspace/lib/posix/src/fnmatch.c assert(**pattern != '\0');
assert 345 uspace/lib/posix/src/fnmatch.c assert(*p == '['); /* calling code should ensure this */
assert 449 uspace/lib/posix/src/fnmatch.c assert(matched == INVALID_PATTERN);
assert 507 uspace/lib/posix/src/fnmatch.c assert(*p == '\0' || *p == '*');
assert 508 uspace/lib/posix/src/fnmatch.c assert(*p != '\0' || *s == '\0' || (leading_dir && *s == '/'));
assert 546 uspace/lib/posix/src/fnmatch.c assert(*pattern == '*');
assert 587 uspace/lib/posix/src/fnmatch.c assert(s != NULL);
assert 606 uspace/lib/posix/src/fnmatch.c assert(pattern != NULL);
assert 607 uspace/lib/posix/src/fnmatch.c assert(string != NULL);
assert 95 uspace/lib/posix/src/pwd.c assert(name != NULL);
assert 118 uspace/lib/posix/src/pwd.c assert(name != NULL);
assert 119 uspace/lib/posix/src/pwd.c assert(pwd != NULL);
assert 120 uspace/lib/posix/src/pwd.c assert(buffer != NULL);
assert 121 uspace/lib/posix/src/pwd.c assert(result != NULL);
assert 160 uspace/lib/posix/src/pwd.c assert(pwd != NULL);
assert 161 uspace/lib/posix/src/pwd.c assert(buffer != NULL);
assert 162 uspace/lib/posix/src/pwd.c assert(result != NULL);
assert 166 uspace/lib/posix/src/signal.c assert(set != NULL);
assert 180 uspace/lib/posix/src/signal.c assert(set != NULL);
assert 195 uspace/lib/posix/src/signal.c assert(set != NULL);
assert 210 uspace/lib/posix/src/signal.c assert(set != NULL);
assert 225 uspace/lib/posix/src/signal.c assert(set != NULL);
assert 324 uspace/lib/posix/src/signal.c assert(signo >= 0 && signo <= _TOP_SIGNAL);
assert 325 uspace/lib/posix/src/signal.c assert(siginfo != NULL);
assert 344 uspace/lib/posix/src/signal.c assert(signo >= 0 && signo <= _TOP_SIGNAL);
assert 345 uspace/lib/posix/src/signal.c assert(siginfo != NULL);
assert 368 uspace/lib/posix/src/signal.c assert(action.sa_sigaction != NULL);
assert 371 uspace/lib/posix/src/signal.c assert(action.sa_handler != NULL);
assert 473 uspace/lib/posix/src/signal.c assert(pid > 1);
assert 485 uspace/lib/posix/src/signal.c assert(pinfo != NULL);
assert 79 uspace/lib/posix/src/stdlib.c assert(resolved == NULL);
assert 236 uspace/lib/posix/src/stdlib.c assert(nelem > 0);
assert 59 uspace/lib/posix/src/string.c assert(dest != NULL);
assert 60 uspace/lib/posix/src/string.c assert(src != NULL);
assert 85 uspace/lib/posix/src/string.c assert(dest != NULL);
assert 86 uspace/lib/posix/src/string.c assert(src != NULL);
assert 118 uspace/lib/posix/src/string.c assert(dest != NULL);
assert 119 uspace/lib/posix/src/string.c assert(src != NULL);
assert 146 uspace/lib/posix/src/string.c assert(s != NULL);
assert 182 uspace/lib/posix/src/string.c assert(buf != NULL);
assert 54 uspace/lib/posix/src/sys/wait.c assert(__posix_wifexited(status));
assert 65 uspace/lib/posix/src/sys/wait.c assert(__posix_wifsignaled(status));
assert 100 uspace/lib/posix/src/sys/wait.c assert(stat_ptr != NULL);
assert 101 uspace/lib/posix/src/sys/wait.c assert(options == 0 /* None of the options are supported. */);
assert 113 uspace/lib/posix/src/sys/wait.c assert(retval != INT_MIN);
assert 216 uspace/lib/posix/src/time.c assert(res != NULL);
assert 240 uspace/lib/posix/src/time.c assert(tp != NULL);
assert 265 uspace/lib/posix/src/time.c assert(tp != NULL);
assert 292 uspace/lib/posix/src/time.c assert(rqtp != NULL);
assert 293 uspace/lib/posix/src/time.c assert(rmtp != NULL);
assert 124 uspace/lib/riff/src/chunk.c assert(rc == EIO);
assert 130 uspace/lib/riff/src/chunk.c assert(rc == EIO);
assert 170 uspace/lib/riff/src/chunk.c assert(rc == EIO);
assert 123 uspace/lib/riff/src/rwave.c assert(rc == EIO || rc == ENOMEM);
assert 200 uspace/lib/riff/src/rwave.c assert(rc == EIO);
assert 259 uspace/lib/riff/src/rwave.c assert(rc == EIO || rc == ENOMEM);
assert 271 uspace/lib/riff/src/rwave.c assert(rc == EIO);
assert 283 uspace/lib/riff/src/rwave.c assert(rc == EIO);
assert 296 uspace/lib/riff/src/rwave.c assert(rc == EIO || rc == ELIMIT);
assert 308 uspace/lib/riff/src/rwave.c assert(rc == EIO);
assert 315 uspace/lib/riff/src/rwave.c assert(rc == EINVAL);
assert 322 uspace/lib/riff/src/rwave.c assert(rc == EIO);
assert 357 uspace/lib/riff/src/rwave.c assert(rc == EIO || rc == ELIMIT);
assert 377 uspace/lib/riff/src/rwave.c assert(rc == EIO);
assert 119 uspace/lib/sif/src/sif.c assert(!link_used(&node->lparent));
assert 169 uspace/lib/sif/src/sif.c assert(!odlink_used(&attr->lattrs));
assert 348 uspace/lib/tbarcfg/src/tbarcfg.c assert(!entry->separator);
assert 359 uspace/lib/tbarcfg/src/tbarcfg.c assert(!entry->separator);
assert 370 uspace/lib/tbarcfg/src/tbarcfg.c assert(!entry->separator);
assert 397 uspace/lib/tbarcfg/src/tbarcfg.c assert(!entry->separator);
assert 421 uspace/lib/tbarcfg/src/tbarcfg.c assert(!entry->separator);
assert 442 uspace/lib/tbarcfg/src/tbarcfg.c assert(!entry->separator);
assert 66 uspace/lib/termui/src/history.c assert(cells->max_len > 0);
assert 67 uspace/lib/termui/src/history.c assert(cells->buf_len > cells->max_len);
assert 82 uspace/lib/termui/src/history.c assert(lines->max_len > 0);
assert 83 uspace/lib/termui/src/history.c assert(lines->buf_len > lines->max_len);
assert 84 uspace/lib/termui/src/history.c assert(lines->head <= lines->tail);
assert 99 uspace/lib/termui/src/history.c assert(idx == cells->head_offset);
assert 100 uspace/lib/termui/src/history.c assert(len <= cells->head_top);
assert 101 uspace/lib/termui/src/history.c assert(idx <= cells->head_top - len);
assert 128 uspace/lib/termui/src/history.c assert(history->lines.head < history->lines.buf_len); \
assert 129 uspace/lib/termui/src/history.c assert(history->lines.tail < history->lines.buf_len); \
assert 130 uspace/lib/termui/src/history.c assert(history->cells.tail_top <= history->cells.head_offset); \
assert 131 uspace/lib/termui/src/history.c assert(history->cells.head_offset <= history->cells.head_top); \
assert 132 uspace/lib/termui/src/history.c assert(history->cells.head_top <= history->cells.buf_len); \
assert 133 uspace/lib/termui/src/history.c assert(_index_valid(history, history->viewport_top) || history->viewport_top == history->lines.tail); \
assert 134 uspace/lib/termui/src/history.c if (history->append) assert(!_lines_empty(&history->lines)); \
assert 204 uspace/lib/termui/src/history.c assert(new_len > cells->buf_len);
assert 205 uspace/lib/termui/src/history.c assert(new_len <= cells->max_len);
assert 239 uspace/lib/termui/src/history.c assert(new_len >= lines->buf_len);
assert 240 uspace/lib/termui/src/history.c assert(new_len <= lines->max_len);
assert 267 uspace/lib/termui/src/history.c assert(!_lines_empty(lines));
assert 289 uspace/lib/termui/src/history.c assert(lines->tail < lines->buf_len);
assert 304 uspace/lib/termui/src/history.c assert(lines->tail != lines->head);
assert 322 uspace/lib/termui/src/history.c assert(_cell_buffer_fits_line(cells, len));
assert 329 uspace/lib/termui/src/history.c assert(cells->head_top <= cells->buf_len);
assert 333 uspace/lib/termui/src/history.c assert(cells->tail_top <= cells->head_offset);
assert 361 uspace/lib/termui/src/history.c assert(!_lines_empty(lines));
assert 380 uspace/lib/termui/src/history.c assert(idx == line->idx + line->len || idx == 0);
assert 407 uspace/lib/termui/src/history.c assert(_index_valid(history, history->viewport_top));
assert 413 uspace/lib/termui/src/history.c assert(_index_valid(history, idx));
assert 425 uspace/lib/termui/src/history.c assert(requested > 0);
assert 433 uspace/lib/termui/src/history.c assert(rows > history->row_delta);
assert 471 uspace/lib/termui/src/history.c assert(requested < 0);
assert 502 uspace/lib/termui/src/history.c assert(delta >= 0);
assert 562 uspace/lib/termui/src/history.c assert(!_lines_empty(&history->lines));
assert 573 uspace/lib/termui/src/history.c assert(last->idx + last->len == history->cells.tail_top);
assert 579 uspace/lib/termui/src/history.c assert(history->cells.tail_top == 0);
assert 645 uspace/lib/termui/src/history.c assert(history->row_delta <= SIZE_MAX - row);
assert 656 uspace/lib/termui/src/history.c assert(_index_valid(history, current_line));
assert 659 uspace/lib/termui/src/history.c assert(line.len <= history->cells.buf_len);
assert 660 uspace/lib/termui/src/history.c assert(line.idx <= history->cells.buf_len - line.len);
assert 673 uspace/lib/termui/src/history.c assert(line_offset < line.len);
assert 678 uspace/lib/termui/src/history.c assert(line.idx + line_offset <= history->cells.buf_len - history->cols);
assert 692 uspace/lib/termui/src/history.c assert(col < history->cols);
assert 131 uspace/lib/termui/src/termui.c assert(termui->first_row < termui->rows);
assert 141 uspace/lib/termui/src/termui.c assert(row >= 0);
assert 142 uspace/lib/termui/src/termui.c assert(row < termui->rows);
assert 198 uspace/lib/termui/src/termui.c assert(termui->row < termui->rows);
assert 351 uspace/lib/termui/src/termui.c assert((c & 0x8000) != 0);
assert 367 uspace/lib/termui/src/termui.c assert(termui_color_from_rgb(*r, *g, *b) == c);
assert 498 uspace/lib/termui/src/termui.c assert(first_row >= 0);
assert 499 uspace/lib/termui/src/termui.c assert(rows >= 0);
assert 500 uspace/lib/termui/src/termui.c assert(first_row + rows <= termui->rows);
assert 511 uspace/lib/termui/src/termui.c assert(sb_rows <= first_row);
assert 632 uspace/lib/ui/src/entry.c assert(event->type == KEY_PRESS);
assert 677 uspace/lib/ui/src/entry.c assert(event->type == KEY_PRESS);
assert 711 uspace/lib/ui/src/entry.c assert(event->type == KEY_PRESS);
assert 571 uspace/lib/ui/src/filelist.c assert(entry->isdir);
assert 153 uspace/lib/ui/src/fixed.c assert(elem->fixed == fixed);
assert 1005 uspace/lib/ui/src/list.c assert(n <= ui_list_page_size(list));
assert 1106 uspace/lib/ui/src/list.c assert(e != NULL);
assert 1295 uspace/lib/ui/src/list.c assert(list->page_idx > 0);
assert 1356 uspace/lib/ui/src/list.c assert(list->page_idx > 0);
assert 1413 uspace/lib/ui/src/list.c assert(entry != NULL);
assert 1461 uspace/lib/ui/src/list.c assert(i < list->entries_cnt);
assert 643 uspace/lib/ui/src/menubar.c assert(false);
assert 249 uspace/lib/ui/src/tab.c assert(tab->content == NULL);
assert 262 uspace/lib/ui/src/tab.c assert(tab->content == control);
assert 263 uspace/lib/ui/src/tab.c assert((ui_tab_t *) control->elemp == tab);
assert 468 uspace/lib/ui/src/ui.c assert(!ui->suspended);
assert 500 uspace/lib/ui/src/ui.c assert(ui->suspended);
assert 1032 uspace/lib/ui/src/wdecor.c assert(false);
assert 183 uspace/lib/ui/src/window.c assert(params->placement != ui_wnd_place_default ||
assert 191 uspace/lib/ui/src/window.c assert(ui_is_fullscreen(window->ui));
assert 595 uspace/lib/ui/src/window.c assert(window->control == NULL);
assert 608 uspace/lib/ui/src/window.c assert(window->control == control);
assert 609 uspace/lib/ui/src/window.c assert((ui_window_t *) control->elemp == window);
assert 667 uspace/lib/ui/src/window.c assert(window->bmp != NULL);
assert 685 uspace/lib/ui/src/window.c assert(window->app_bmp != NULL);
assert 895 uspace/lib/ui/src/window.c assert(window->app_bmp == NULL);
assert 65 uspace/lib/untar/tar.c assert(false && "unexpected tar_type_t enum value");
assert 140 uspace/lib/uri/uri.c assert(*str == 0);
assert 43 uspace/lib/usb/src/dma_buffer.c assert((chunk_size & (chunk_size - 1)) == 0); /* Check if power of 2 */
assert 44 uspace/lib/usb/src/dma_buffer.c assert(chunk_size >= PAGE_SIZE || chunk_size == 0);
assert 90 uspace/lib/usb/src/dma_buffer.c assert(db);
assert 195 uspace/lib/usb/src/dma_buffer.c assert(virt);
assert 84 uspace/lib/usb/src/port.c assert(port->state == PORT_CONNECTING);
assert 96 uspace/lib/usb/src/port.c assert(port);
assert 129 uspace/lib/usb/src/port.c assert(port);
assert 149 uspace/lib/usb/src/port.c assert(port->state == PORT_DISCONNECTING);
assert 180 uspace/lib/usb/src/port.c assert(port);
assert 205 uspace/lib/usb/src/port.c assert(port);
assert 242 uspace/lib/usb/src/port.c assert(port);
assert 243 uspace/lib/usb/src/port.c assert(port->state == PORT_CONNECTING);
assert 244 uspace/lib/usb/src/port.c assert(fibril_mutex_is_locked(&port->guard));
assert 67 uspace/lib/usbdev/include/usb/dev/device.h assert(dev);
assert 53 uspace/lib/usbdev/src/altiface.c assert(config_descr != NULL);
assert 54 uspace/lib/usbdev/src/altiface.c assert(config_descr_size > 0);
assert 93 uspace/lib/usbdev/src/altiface.c assert(alternates != NULL);
assert 94 uspace/lib/usbdev/src/altiface.c assert(config_descr != NULL);
assert 95 uspace/lib/usbdev/src/altiface.c assert(config_descr_size > 0);
assert 148 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 181 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 182 uspace/lib/usbdev/src/devdrv.c assert(usb_dev->descriptors.full_config == NULL);
assert 206 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 233 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 234 uspace/lib/usbdev/src/devdrv.c assert(usb_dev->descriptors.full_config);
assert 235 uspace/lib/usbdev/src/devdrv.c assert(usb_dev->pipes == NULL);
assert 236 uspace/lib/usbdev/src/devdrv.c assert(usb_dev->pipes_count == 0);
assert 308 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 309 uspace/lib/usbdev/src/devdrv.c assert(usb_dev->pipes || usb_dev->pipes_count == 0);
assert 329 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 336 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 346 uspace/lib/usbdev/src/devdrv.c assert(epm);
assert 361 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 367 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 373 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 379 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 385 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 391 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 398 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 435 uspace/lib/usbdev/src/devdrv.c assert(usb_dev != NULL);
assert 436 uspace/lib/usbdev/src/devdrv.c assert(errstr_ptr);
assert 498 uspace/lib/usbdev/src/devdrv.c assert(dev);
assert 522 uspace/lib/usbdev/src/devdrv.c assert(ddf_dev);
assert 523 uspace/lib/usbdev/src/devdrv.c assert(err);
assert 545 uspace/lib/usbdev/src/devdrv.c assert(ddf_dev);
assert 547 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 586 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 595 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 603 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 619 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 620 uspace/lib/usbdev/src/devdrv.c assert(usb_dev->driver_data == NULL);
assert 627 uspace/lib/usbdev/src/devdrv.c assert(usb_dev);
assert 93 uspace/lib/usbdev/src/devpoll.c assert(polling);
assert 94 uspace/lib/usbdev/src/devpoll.c assert(!polling->running);
assert 104 uspace/lib/usbdev/src/devpoll.c assert(arg);
assert 171 uspace/lib/usbdev/src/devpoll.c assert(polling->on_data);
assert 108 uspace/lib/usbdev/src/dp.c assert(is_valid_descriptor_pointer(data, current));
assert 57 uspace/lib/usbdev/src/driver.c assert(driver);
assert 58 uspace/lib/usbdev/src/driver.c assert(driver->ops);
assert 59 uspace/lib/usbdev/src/driver.c assert(driver->ops->device_add);
assert 86 uspace/lib/usbdev/src/driver.c assert(driver);
assert 87 uspace/lib/usbdev/src/driver.c assert(driver->ops);
assert 110 uspace/lib/usbdev/src/driver.c assert(driver);
assert 111 uspace/lib/usbdev/src/driver.c assert(driver->ops);
assert 131 uspace/lib/usbdev/src/driver.c assert(driver);
assert 132 uspace/lib/usbdev/src/driver.c assert(driver->ops);
assert 147 uspace/lib/usbdev/src/driver.c assert(driver);
assert 148 uspace/lib/usbdev/src/driver.c assert(driver->ops);
assert 174 uspace/lib/usbdev/src/driver.c assert(drv != NULL);
assert 54 uspace/lib/usbdev/src/pipes.c assert(pipe != NULL);
assert 218 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 266 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 291 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 313 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 342 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 361 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 410 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 411 uspace/lib/usbdev/src/pipes.c assert(pipe->bus_session);
assert 412 uspace/lib/usbdev/src/pipes.c assert(ep_desc);
assert 448 uspace/lib/usbdev/src/pipes.c assert(pipe);
assert 449 uspace/lib/usbdev/src/pipes.c assert(pipe->bus_session);
assert 65 uspace/lib/usbdev/src/recognise.c assert(matches);
assert 124 uspace/lib/usbdev/src/recognise.c assert(classname != NULL);
assert 268 uspace/lib/usbdev/src/recognise.c assert(ctrl_pipe);
assert 55 uspace/lib/usbhid/src/hidreport.c assert(report_desc != NULL);
assert 56 uspace/lib/usbhid/src/hidreport.c assert(size != NULL);
assert 184 uspace/lib/usbhid/src/hidreport.c assert(*report_desc != NULL);
assert 58 uspace/lib/usbhost/src/bandwidth.c assert(ep);
assert 59 uspace/lib/usbhost/src/bandwidth.c assert(ep->device);
assert 79 uspace/lib/usbhost/src/bandwidth.c assert(type == USB_TRANSFER_INTERRUPT);
assert 96 uspace/lib/usbhost/src/bandwidth.c assert(type == USB_TRANSFER_ISOCHRONOUS);
assert 131 uspace/lib/usbhost/src/bandwidth.c assert(ep);
assert 132 uspace/lib/usbhost/src/bandwidth.c assert(ep->device);
assert 58 uspace/lib/usbhost/src/bus.c assert(bus);
assert 59 uspace/lib/usbhost/src/bus.c assert(device_size >= sizeof(device_t));
assert 71 uspace/lib/usbhost/src/bus.c assert(bus);
assert 89 uspace/lib/usbhost/src/bus.c assert(dev);
assert 90 uspace/lib/usbhost/src/bus.c assert(dev->fun);
assert 129 uspace/lib/usbhost/src/bus.c assert(dev);
assert 163 uspace/lib/usbhost/src/bus.c assert(fibril_mutex_is_locked(&dev->guard));
assert 187 uspace/lib/usbhost/src/bus.c assert(dev->endpoints[i] == NULL);
assert 210 uspace/lib/usbhost/src/bus.c assert(list_empty(&dev->devices));
assert 218 uspace/lib/usbhost/src/bus.c assert(dev);
assert 219 uspace/lib/usbhost/src/bus.c assert(dev->fun != NULL);
assert 274 uspace/lib/usbhost/src/bus.c assert(dev);
assert 317 uspace/lib/usbhost/src/bus.c assert(dev);
assert 373 uspace/lib/usbhost/src/bus.c assert(device);
assert 392 uspace/lib/usbhost/src/bus.c assert((ep->required_transfer_buffer_policy & ~ep->transfer_buffer_policy) == 0);
assert 445 uspace/lib/usbhost/src/bus.c assert(device);
assert 477 uspace/lib/usbhost/src/bus.c assert(ep);
assert 478 uspace/lib/usbhost/src/bus.c assert(ep->device);
assert 523 uspace/lib/usbhost/src/bus.c assert(bus);
assert 542 uspace/lib/usbhost/src/bus.c assert(bus);
assert 561 uspace/lib/usbhost/src/bus.c assert(usb_target_is_valid(&request->target));
assert 562 uspace/lib/usbhost/src/bus.c assert(request->dir != USB_DIRECTION_BOTH);
assert 564 uspace/lib/usbhost/src/bus.c assert(request->offset == 0 || request->size != 0);
assert 566 uspace/lib/usbhost/src/bus.c assert(request->size == 0 || dma_buffer_is_set(&request->buffer));
assert 568 uspace/lib/usbhost/src/bus.c assert(request->arg == NULL || request->on_complete != NULL);
assert 569 uspace/lib/usbhost/src/bus.c assert(request->name);
assert 579 uspace/lib/usbhost/src/bus.c assert(device);
assert 580 uspace/lib/usbhost/src/bus.c assert(request);
assert 583 uspace/lib/usbhost/src/bus.c assert(device->address == request->target.address);
assert 593 uspace/lib/usbhost/src/bus.c assert(ep->device == device);
assert 621 uspace/lib/usbhost/src/bus.c assert(d);
assert 70 uspace/lib/usbhost/src/ddf_helpers.c assert(fun);
assert 73 uspace/lib/usbhost/src/ddf_helpers.c assert(hcd);
assert 74 uspace/lib/usbhost/src/ddf_helpers.c assert(hcd->bus);
assert 75 uspace/lib/usbhost/src/ddf_helpers.c assert(dev);
assert 104 uspace/lib/usbhost/src/ddf_helpers.c assert(fun);
assert 107 uspace/lib/usbhost/src/ddf_helpers.c assert(hcd);
assert 108 uspace/lib/usbhost/src/ddf_helpers.c assert(hcd->bus);
assert 109 uspace/lib/usbhost/src/ddf_helpers.c assert(dev);
assert 128 uspace/lib/usbhost/src/ddf_helpers.c assert(fun);
assert 131 uspace/lib/usbhost/src/ddf_helpers.c assert(hcd);
assert 132 uspace/lib/usbhost/src/ddf_helpers.c assert(hcd->bus);
assert 133 uspace/lib/usbhost/src/ddf_helpers.c assert(dev);
assert 152 uspace/lib/usbhost/src/ddf_helpers.c assert(fun);
assert 154 uspace/lib/usbhost/src/ddf_helpers.c assert(hc);
assert 156 uspace/lib/usbhost/src/ddf_helpers.c assert(hcd);
assert 158 uspace/lib/usbhost/src/ddf_helpers.c assert(hub);
assert 206 uspace/lib/usbhost/src/ddf_helpers.c assert(fun);
assert 208 uspace/lib/usbhost/src/ddf_helpers.c assert(hub);
assert 229 uspace/lib/usbhost/src/ddf_helpers.c assert(victim->fun);
assert 230 uspace/lib/usbhost/src/ddf_helpers.c assert(victim->port == port);
assert 231 uspace/lib/usbhost/src/ddf_helpers.c assert(victim->hub == hub);
assert 246 uspace/lib/usbhost/src/ddf_helpers.c assert(fun);
assert 248 uspace/lib/usbhost/src/ddf_helpers.c assert(dev);
assert 280 uspace/lib/usbhost/src/ddf_helpers.c assert(fun);
assert 282 uspace/lib/usbhost/src/ddf_helpers.c assert(dev);
assert 368 uspace/lib/usbhost/src/ddf_helpers.c assert(l);
assert 369 uspace/lib/usbhost/src/ddf_helpers.c assert(d);
assert 417 uspace/lib/usbhost/src/ddf_helpers.c assert(dev);
assert 418 uspace/lib/usbhost/src/ddf_helpers.c assert(dev->fun);
assert 454 uspace/lib/usbhost/src/ddf_helpers.c assert(device);
assert 58 uspace/lib/usbhost/src/endpoint.c assert(dev);
assert 104 uspace/lib/usbhost/src/endpoint.c assert(ep->active_batch == NULL);
assert 136 uspace/lib/usbhost/src/endpoint.c assert(ep);
assert 137 uspace/lib/usbhost/src/endpoint.c assert(fibril_mutex_is_locked(ep->guard));
assert 149 uspace/lib/usbhost/src/endpoint.c assert(ep);
assert 150 uspace/lib/usbhost/src/endpoint.c assert(fibril_mutex_is_locked(ep->guard));
assert 174 uspace/lib/usbhost/src/endpoint.c assert(ep);
assert 175 uspace/lib/usbhost/src/endpoint.c assert(batch);
assert 176 uspace/lib/usbhost/src/endpoint.c assert(batch->ep == ep);
assert 177 uspace/lib/usbhost/src/endpoint.c assert(ep->guard);
assert 178 uspace/lib/usbhost/src/endpoint.c assert(fibril_mutex_is_locked(ep->guard));
assert 186 uspace/lib/usbhost/src/endpoint.c assert(ep->active_batch == NULL);
assert 196 uspace/lib/usbhost/src/endpoint.c assert(ep);
assert 197 uspace/lib/usbhost/src/endpoint.c assert(fibril_mutex_is_locked(ep->guard));
assert 211 uspace/lib/usbhost/src/endpoint.c assert(ep);
assert 212 uspace/lib/usbhost/src/endpoint.c assert(req);
assert 115 uspace/lib/usbhost/src/hcd.c assert(bus);
assert 164 uspace/lib/usbhost/src/hcd.c assert(hcd);
assert 219 uspace/lib/usbhost/src/hcd.c assert(device);
assert 250 uspace/lib/usbhost/src/hcd.c assert(hcd->bus);
assert 362 uspace/lib/usbhost/src/hcd.c assert(fun);
assert 365 uspace/lib/usbhost/src/hcd.c assert(dev);
assert 373 uspace/lib/usbhost/src/hcd.c assert(fun);
assert 376 uspace/lib/usbhost/src/hcd.c assert(dev);
assert 217 uspace/lib/usbhost/src/usb2_bus.c assert(ep);
assert 218 uspace/lib/usbhost/src/usb2_bus.c assert(fibril_mutex_is_locked(&ep->device->guard));
assert 236 uspace/lib/usbhost/src/usb2_bus.c assert(helper);
assert 237 uspace/lib/usbhost/src/usb2_bus.c assert(ep);
assert 250 uspace/lib/usbhost/src/usb2_bus.c assert(helper);
assert 251 uspace/lib/usbhost/src/usb2_bus.c assert(bw_accounting);
assert 54 uspace/lib/usbhost/src/usb_transfer_batch.c assert(ep);
assert 74 uspace/lib/usbhost/src/usb_transfer_batch.c assert(ep);
assert 85 uspace/lib/usbhost/src/usb_transfer_batch.c assert(batch);
assert 86 uspace/lib/usbhost/src/usb_transfer_batch.c assert(batch->ep);
assert 137 uspace/lib/usbhost/src/usb_transfer_batch.c assert(batch);
assert 138 uspace/lib/usbhost/src/usb_transfer_batch.c assert(!batch->is_bounced);
assert 171 uspace/lib/usbhost/src/usb_transfer_batch.c assert(batch);
assert 172 uspace/lib/usbhost/src/usb_transfer_batch.c assert(batch->ep);
assert 79 uspace/lib/usbhost/src/utility.c assert(mps);
assert 214 uspace/lib/usbhost/src/utility.c assert(hcd);
assert 347 uspace/lib/usbhost/src/utility.c assert(jf);
assert 348 uspace/lib/usbhost/src/utility.c assert(!jf->running);
assert 359 uspace/lib/usbhost/src/utility.c assert(jf);
assert 374 uspace/lib/usbhost/src/utility.c assert(!jf->fid);
assert 56 uspace/lib/usbvirt/src/ctrltransfer.c assert(dev);
assert 57 uspace/lib/usbvirt/src/ctrltransfer.c assert(setup);
assert 58 uspace/lib/usbvirt/src/device.c assert(DEV != NULL);
assert 56 uspace/lib/usbvirt/src/transfer.c assert(dev);
assert 57 uspace/lib/usbvirt/src/transfer.c assert(dev->ops);
assert 50 uspace/lib/usbvirt/src/virthub_base.c assert(dev);
assert 52 uspace/lib/usbvirt/src/virthub_base.c assert(base);
assert 61 uspace/lib/usbvirt/src/virthub_base.c assert(instance);
assert 62 uspace/lib/usbvirt/src/virthub_base.c assert(hub_desc);
assert 63 uspace/lib/usbvirt/src/virthub_base.c assert(name);
assert 107 uspace/lib/usbvirt/src/virthub_base.c assert(instance);
assert 115 uspace/lib/usbvirt/src/virthub_base.c assert(instance);
assert 116 uspace/lib/usbvirt/src/virthub_base.c assert(real_size);
assert 117 uspace/lib/usbvirt/src/virthub_base.c assert(setup);
assert 149 uspace/lib/usbvirt/src/virthub_base.c assert(dev);
assert 151 uspace/lib/usbvirt/src/virthub_base.c assert(instance);
assert 72 uspace/srv/audio/hound/audio_data.c assert(adata);
assert 82 uspace/srv/audio/hound/audio_data.c assert(adata);
assert 114 uspace/srv/audio/hound/audio_data.c assert(adata);
assert 132 uspace/srv/audio/hound/audio_data.c assert(link);
assert 133 uspace/srv/audio/hound/audio_data.c assert(!link_in_use(&link->link));
assert 145 uspace/srv/audio/hound/audio_data.c assert(alink);
assert 146 uspace/srv/audio/hound/audio_data.c assert(alink->adata);
assert 157 uspace/srv/audio/hound/audio_data.c assert(alink);
assert 158 uspace/srv/audio/hound/audio_data.c assert(alink->adata);
assert 159 uspace/srv/audio/hound/audio_data.c assert(alink->position <= alink->adata->size);
assert 170 uspace/srv/audio/hound/audio_data.c assert(alink);
assert 171 uspace/srv/audio/hound/audio_data.c assert(alink->adata);
assert 184 uspace/srv/audio/hound/audio_data.c assert(pipe);
assert 197 uspace/srv/audio/hound/audio_data.c assert(pipe);
assert 212 uspace/srv/audio/hound/audio_data.c assert(pipe);
assert 213 uspace/srv/audio/hound/audio_data.c assert(data);
assert 233 uspace/srv/audio/hound/audio_data.c assert(pipe);
assert 261 uspace/srv/audio/hound/audio_data.c assert(pipe);
assert 282 uspace/srv/audio/hound/audio_data.c assert(src_copy_size <= audio_data_link_remain_size(alink));
assert 300 uspace/srv/audio/hound/audio_data.c assert(needed_frames == 0);
assert 90 uspace/srv/audio/hound/audio_data.h assert(pipe);
assert 101 uspace/srv/audio/hound/audio_data.h assert(pipe);
assert 62 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 76 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 122 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 138 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 157 uspace/srv/audio/hound/audio_device.c assert(sink);
assert 197 uspace/srv/audio/hound/audio_device.c assert(!new);
assert 221 uspace/srv/audio/hound/audio_device.c assert(source);
assert 247 uspace/srv/audio/hound/audio_device.c assert(!new);
assert 271 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 331 uspace/srv/audio/hound/audio_device.c assert(sink);
assert 333 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 349 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 380 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 381 uspace/srv/audio/hound/audio_device.c assert(dev->buffer.base);
assert 402 uspace/srv/audio/hound/audio_device.c assert(dev);
assert 403 uspace/srv/audio/hound/audio_device.c assert(dev->buffer.position >= dev->buffer.base);
assert 404 uspace/srv/audio/hound/audio_device.c assert(dev->buffer.position < (dev->buffer.base + dev->buffer.size));
assert 63 uspace/srv/audio/hound/audio_sink.c assert(sink);
assert 87 uspace/srv/audio/hound/audio_sink.c assert(sink);
assert 88 uspace/srv/audio/hound/audio_sink.c assert(list_empty(&sink->connections));
assert 89 uspace/srv/audio/hound/audio_sink.c assert(!sink->private_data);
assert 102 uspace/srv/audio/hound/audio_sink.c assert(sink);
assert 103 uspace/srv/audio/hound/audio_sink.c assert(format);
assert 139 uspace/srv/audio/hound/audio_sink.c assert(sink);
assert 140 uspace/srv/audio/hound/audio_sink.c assert(dest);
assert 63 uspace/srv/audio/hound/audio_source.c assert(source);
assert 87 uspace/srv/audio/hound/audio_source.c assert(source);
assert 101 uspace/srv/audio/hound/audio_source.c assert(source);
assert 102 uspace/srv/audio/hound/audio_source.c assert(data);
assert 81 uspace/srv/audio/hound/audio_source.h assert(s);
assert 52 uspace/srv/audio/hound/connection.c assert(source);
assert 53 uspace/srv/audio/hound/connection.c assert(sink);
assert 84 uspace/srv/audio/hound/connection.c assert(connection);
assert 85 uspace/srv/audio/hound/connection.c assert(!link_in_use(&connection->hound_link));
assert 110 uspace/srv/audio/hound/connection.c assert(connection);
assert 138 uspace/srv/audio/hound/connection.c assert(connection);
assert 139 uspace/srv/audio/hound/connection.c assert(adata);
assert 98 uspace/srv/audio/hound/connection.h assert(connection);
assert 112 uspace/srv/audio/hound/connection.h assert(connection);
assert 57 uspace/srv/audio/hound/hound.c assert(list);
assert 58 uspace/srv/audio/hound/hound.c assert(name);
assert 78 uspace/srv/audio/hound/hound.c assert(list);
assert 79 uspace/srv/audio/hound/hound.c assert(name);
assert 99 uspace/srv/audio/hound/hound.c assert(list);
assert 100 uspace/srv/audio/hound/hound.c assert(name);
assert 124 uspace/srv/audio/hound/hound.c assert(hound);
assert 125 uspace/srv/audio/hound/hound.c assert(sink);
assert 126 uspace/srv/audio/hound/hound.c assert(fibril_mutex_is_locked(&hound->list_guard));
assert 150 uspace/srv/audio/hound/hound.c assert(fibril_mutex_is_locked(&hound->list_guard));
assert 170 uspace/srv/audio/hound/hound.c assert(hound);
assert 189 uspace/srv/audio/hound/hound.c assert(hound);
assert 216 uspace/srv/audio/hound/hound.c assert(hound);
assert 239 uspace/srv/audio/hound/hound.c assert(hound);
assert 264 uspace/srv/audio/hound/hound.c assert(hound);
assert 338 uspace/srv/audio/hound/hound.c assert(hound);
assert 362 uspace/srv/audio/hound/hound.c assert(hound);
assert 386 uspace/srv/audio/hound/hound.c assert(hound);
assert 403 uspace/srv/audio/hound/hound.c assert(hound);
assert 421 uspace/srv/audio/hound/hound.c assert(hound);
assert 463 uspace/srv/audio/hound/hound.c assert(hound);
assert 524 uspace/srv/audio/hound/hound.c assert(hound);
assert 563 uspace/srv/audio/hound/hound.c assert(hound);
assert 582 uspace/srv/audio/hound/hound.c assert(hound);
assert 583 uspace/srv/audio/hound/hound.c assert(fibril_mutex_is_locked(&hound->list_guard));
assert 118 uspace/srv/audio/hound/hound_ctx.c assert(ctx);
assert 119 uspace/srv/audio/hound/hound_ctx.c assert(!link_in_use(&ctx->link));
assert 120 uspace/srv/audio/hound/hound_ctx.c assert(list_empty(&ctx->streams));
assert 137 uspace/srv/audio/hound/hound_ctx.c assert(ctx);
assert 148 uspace/srv/audio/hound/hound_ctx.c assert(ctx);
assert 183 uspace/srv/audio/hound/hound_ctx.c assert(ctx);
assert 184 uspace/srv/audio/hound/hound_ctx.c assert(stream);
assert 202 uspace/srv/audio/hound/hound_ctx.c assert(stream);
assert 203 uspace/srv/audio/hound/hound_ctx.c assert(adata);
assert 231 uspace/srv/audio/hound/hound_ctx.c assert(ctx);
assert 232 uspace/srv/audio/hound/hound_ctx.c assert(stream);
assert 249 uspace/srv/audio/hound/hound_ctx.c assert(ctx);
assert 301 uspace/srv/audio/hound/hound_ctx.c assert(stream);
assert 330 uspace/srv/audio/hound/hound_ctx.c assert(stream);
assert 362 uspace/srv/audio/hound/hound_ctx.c assert(stream);
assert 376 uspace/srv/audio/hound/hound_ctx.c assert(stream);
assert 394 uspace/srv/audio/hound/hound_ctx.c assert(source);
assert 395 uspace/srv/audio/hound/hound_ctx.c assert(source->private_data);
assert 428 uspace/srv/audio/hound/hound_ctx.c assert(sink);
assert 429 uspace/srv/audio/hound/hound_ctx.c assert(sink->private_data);
assert 48 uspace/srv/audio/hound/iface.c assert(server);
assert 49 uspace/srv/audio/hound/iface.c assert(id);
assert 50 uspace/srv/audio/hound/iface.c assert(name);
assert 67 uspace/srv/audio/hound/iface.c assert(server);
assert 81 uspace/srv/audio/hound/iface.c assert(server);
assert 115 uspace/srv/audio/hound/iface.c assert(data);
assert 116 uspace/srv/audio/hound/iface.c assert(server);
assert 63 uspace/srv/devman/dev.c assert(list_empty(&dev->functions));
assert 64 uspace/srv/devman/dev.c assert(dev->pfun == NULL);
assert 65 uspace/srv/devman/dev.c assert(dev->drv == NULL);
assert 99 uspace/srv/devman/dev.c assert(fibril_rwlock_is_locked(&tree->rwlock));
assert 135 uspace/srv/devman/dev.c assert(fibril_rwlock_is_locked(&tree->rwlock));
assert 218 uspace/srv/devman/devtree.c assert(fibril_rwlock_is_write_locked(&tree->rwlock));
assert 241 uspace/srv/devman/devtree.c assert(fibril_rwlock_is_write_locked(&tree->rwlock));
assert 270 uspace/srv/devman/devtree.c assert(fun_name != NULL);
assert 271 uspace/srv/devman/devtree.c assert(fibril_rwlock_is_write_locked(&tree->rwlock));
assert 303 uspace/srv/devman/devtree.c assert(fibril_rwlock_is_write_locked(&tree->rwlock));
assert 60 uspace/srv/devman/driver.c assert(drv_list != NULL);
assert 120 uspace/srv/devman/driver.c assert(base_path != NULL && name != NULL && drv != NULL);
assert 303 uspace/srv/devman/driver.c assert(drv != NULL);
assert 328 uspace/srv/devman/driver.c assert(fibril_mutex_is_locked(&drv->driver_mutex));
assert 531 uspace/srv/devman/driver.c assert(drv != NULL);
assert 546 uspace/srv/devman/driver.c assert(drv != NULL);
assert 562 uspace/srv/devman/driver.c assert(drv != NULL);
assert 580 uspace/srv/devman/driver.c assert(dev != NULL);
assert 581 uspace/srv/devman/driver.c assert(drivers_list != NULL);
assert 582 uspace/srv/devman/driver.c assert(tree != NULL);
assert 689 uspace/srv/devman/driver.c assert(dev != NULL);
assert 712 uspace/srv/devman/driver.c assert(dev != NULL);
assert 119 uspace/srv/devman/drv_conn.c assert(false);
assert 76 uspace/srv/devman/fun.c assert(fun->dev == NULL);
assert 77 uspace/srv/devman/fun.c assert(fun->child == NULL);
assert 128 uspace/srv/devman/fun.c assert(fibril_rwlock_is_locked(&tree->rwlock));
assert 170 uspace/srv/devman/fun.c assert(fibril_rwlock_is_write_locked(&tree->rwlock));
assert 171 uspace/srv/devman/fun.c assert(fun->name != NULL);
assert 203 uspace/srv/devman/fun.c assert(path != NULL);
assert 260 uspace/srv/devman/fun.c assert(name != NULL);
assert 261 uspace/srv/devman/fun.c assert(fibril_rwlock_is_locked(&tree->rwlock));
assert 325 uspace/srv/devman/fun.c assert(dev != NULL);
assert 48 uspace/srv/devman/loc.c assert(fibril_rwlock_is_locked(&tree->rwlock));
assert 95 uspace/srv/devman/loc.c assert(fibril_rwlock_is_write_locked(&tree->rwlock));
assert 102 uspace/srv/devman/loc.c assert(fibril_rwlock_is_write_locked(&tree->rwlock));
assert 377 uspace/srv/fs/cdfs/cdfs_ops.c assert((lflag & L_FILE) ^ (lflag & L_DIRECTORY));
assert 397 uspace/srv/fs/cdfs/cdfs_ops.c assert(rc == EOK);
assert 425 uspace/srv/fs/cdfs/cdfs_ops.c assert(parent->type == CDFS_DIRECTORY);
assert 498 uspace/srv/fs/cdfs/cdfs_ops.c assert(false);
assert 572 uspace/srv/fs/cdfs/cdfs_ops.c assert(node);
assert 622 uspace/srv/fs/cdfs/cdfs_ops.c assert(fn != NULL);
assert 1202 uspace/srv/fs/cdfs/cdfs_ops.c assert(rc == EOK);
assert 1396 uspace/srv/fs/cdfs/cdfs_ops.c assert(node->opened > 0);
assert 93 uspace/srv/fs/exfat/exfat_fat.c assert(clst >= EXFAT_CLST_FIRST);
assert 101 uspace/srv/fs/exfat/exfat_fat.c assert(clst != EXFAT_CLST_BAD);
assert 208 uspace/srv/fs/exfat/exfat_fat.c assert(clusters == max_clusters);
assert 371 uspace/srv/fs/exfat/exfat_fat.c assert(firstc >= EXFAT_CLST_FIRST && firstc < EXFAT_CLST_BAD);
assert 210 uspace/srv/fs/exfat/exfat_idx.c assert(index);
assert 273 uspace/srv/fs/exfat/exfat_idx.c assert(u);
assert 308 uspace/srv/fs/exfat/exfat_idx.c assert(n);
assert 321 uspace/srv/fs/exfat/exfat_idx.c assert(n);
assert 455 uspace/srv/fs/exfat/exfat_idx.c assert(idx->pfc == 0);
assert 484 uspace/srv/fs/exfat/exfat_idx.c assert(hash_table_empty(&up_hash) && hash_table_empty(&ui_hash));
assert 549 uspace/srv/fs/exfat/exfat_idx.c assert(u);
assert 317 uspace/srv/fs/exfat/exfat_ops.c assert(idxp->pfc);
assert 458 uspace/srv/fs/exfat/exfat_ops.c assert(new_clsts < prev_clsts);
assert 691 uspace/srv/fs/exfat/exfat_ops.c assert(nodep->lnkcnt == 0);
assert 699 uspace/srv/fs/exfat/exfat_ops.c assert(!has_children);
assert 703 uspace/srv/fs/exfat/exfat_ops.c assert(nodep->size);
assert 734 uspace/srv/fs/exfat/exfat_ops.c assert(childp->lnkcnt == 0);
assert 802 uspace/srv/fs/exfat/exfat_ops.c assert(childp->lnkcnt == 1);
assert 1068 uspace/srv/fs/exfat/exfat_ops.c assert(rootp->idx->index == EXFAT_ROOT_IDX);
assert 1119 uspace/srv/fs/exfat/exfat_ops.c assert(bitmapp->idx->index == EXFAT_BITMAP_IDX);
assert 1161 uspace/srv/fs/exfat/exfat_ops.c assert(uctablep->idx->index == EXFAT_UCTABLE_IDX);
assert 1388 uspace/srv/fs/exfat/exfat_ops.c assert(nodep->size % BPS(bs) == 0);
assert 1389 uspace/srv/fs/exfat/exfat_ops.c assert(BPS(bs) % sizeof(exfat_dentry_t) == 0);
assert 1610 uspace/srv/fs/exfat/exfat_ops.c assert(nodep->refcnt == 2);
assert 168 uspace/srv/fs/fat/fat_directory.c assert(rc == EOK);
assert 276 uspace/srv/fs/fat/fat_directory.c assert(rc == EOK);
assert 94 uspace/srv/fs/fat/fat_fat.c assert(clst >= FAT_CLST_FIRST);
assert 103 uspace/srv/fs/fat/fat_fat.c assert(clst != clst_bad);
assert 207 uspace/srv/fs/fat/fat_fat.c assert(bn < RDS(bs));
assert 217 uspace/srv/fs/fat/fat_fat.c assert(clusters == max_clusters);
assert 430 uspace/srv/fs/fat/fat_fat.c assert(fatno < FATCNT(bs));
assert 616 uspace/srv/fs/fat/fat_fat.c assert(fatno < FATCNT(bs));
assert 755 uspace/srv/fs/fat/fat_fat.c assert(firstc >= FAT_CLST_FIRST && firstc < clst_bad);
assert 210 uspace/srv/fs/fat/fat_idx.c assert(index);
assert 273 uspace/srv/fs/fat/fat_idx.c assert(u);
assert 308 uspace/srv/fs/fat/fat_idx.c assert(n);
assert 321 uspace/srv/fs/fat/fat_idx.c assert(n);
assert 454 uspace/srv/fs/fat/fat_idx.c assert(idx->pfc == FAT_CLST_RES0);
assert 483 uspace/srv/fs/fat/fat_idx.c assert(hash_table_empty(&up_hash) && hash_table_empty(&ui_hash));
assert 548 uspace/srv/fs/fat/fat_idx.c assert(u);
assert 124 uspace/srv/fs/fat/fat_ops.c assert(node->dirty);
assert 297 uspace/srv/fs/fat/fat_ops.c assert(idxp->pfc);
assert 554 uspace/srv/fs/fat/fat_ops.c assert(nodep->lnkcnt == 0);
assert 562 uspace/srv/fs/fat/fat_ops.c assert(!has_children);
assert 566 uspace/srv/fs/fat/fat_ops.c assert(nodep->size);
assert 597 uspace/srv/fs/fat/fat_ops.c assert(childp->lnkcnt == 0);
assert 717 uspace/srv/fs/fat/fat_ops.c assert(childp->lnkcnt == 1);
assert 989 uspace/srv/fs/fat/fat_ops.c assert(ridxp->index == 0);
assert 1135 uspace/srv/fs/fat/fat_ops.c assert(FAT_IS_FAT32(bs));
assert 1271 uspace/srv/fs/fat/fat_ops.c assert(nodep->type == FAT_DIRECTORY);
assert 1272 uspace/srv/fs/fat/fat_ops.c assert(nodep->size % BPS(bs) == 0);
assert 1273 uspace/srv/fs/fat/fat_ops.c assert(BPS(bs) % sizeof(fat_dentry_t) == 0);
assert 1538 uspace/srv/fs/fat/fat_ops.c assert(nodep->refcnt == 2);
assert 325 uspace/srv/fs/locfs/locfs_ops.c assert((lflag & L_FILE) ^ (lflag & L_DIRECTORY));
assert 570 uspace/srv/fs/locfs/locfs_ops.c assert(dev->sess);
assert 634 uspace/srv/fs/locfs/locfs_ops.c assert(dev->sess);
assert 702 uspace/srv/fs/locfs/locfs_ops.c assert(dev->sess);
assert 742 uspace/srv/fs/locfs/locfs_ops.c assert(dev->sess);
assert 216 uspace/srv/fs/mfs/mfs_balloc.c assert(nbits == 0);
assert 339 uspace/srv/fs/mfs/mfs_inode.c assert(size_shrink <= old_size);
assert 554 uspace/srv/fs/mfs/mfs_ops.c assert(mnode->refcnt > 0);
assert 558 uspace/srv/fs/mfs/mfs_ops.c assert(mnode->instance->open_nodes_cnt > 0);
assert 772 uspace/srv/fs/mfs/mfs_ops.c assert(chino->i_nlinks >= 1);
assert 1047 uspace/srv/fs/mfs/mfs_ops.c assert(!has_children);
assert 251 uspace/srv/fs/mfs/mfs_rw.c assert(new_size <= ino_i->i_size);
assert 177 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(nodep->type == TMPFS_DIRECTORY);
assert 183 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(nodep->type == TMPFS_FILE);
assert 305 uspace/srv/fs/tmpfs/tmpfs_ops.c assert((lflag & L_FILE) ^ (lflag & L_DIRECTORY));
assert 322 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(rc == EOK);
assert 344 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(!nodep->lnkcnt);
assert 345 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(list_empty(&nodep->cs_list));
assert 362 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(parentp->type == TMPFS_DIRECTORY);
assert 404 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(FS_NODE(childp) == cfn);
assert 450 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(rc == EOK);
assert 501 uspace/srv/fs/tmpfs/tmpfs_ops.c assert(nodep->type == TMPFS_DIRECTORY);
assert 203 uspace/srv/fs/udf/udf_idx.c assert(node->ref_cnt == 0);
assert 209 uspace/srv/fs/udf/udf_idx.c assert(node->instance->open_nodes_count > 0);
assert 253 uspace/srv/hid/display/cfgops.c assert(rc == ENOMEM);
assert 86 uspace/srv/hid/display/client.c assert(list_empty(&client->windows));
assert 98 uspace/srv/hid/display/client.c assert(wnd->client == NULL);
assert 99 uspace/srv/hid/display/client.c assert(!link_used(&wnd->lcwindows));
assert 289 uspace/srv/hid/display/clonegc.c assert(output != NULL);
assert 127 uspace/srv/hid/display/display.c assert(list_empty(&disp->clients));
assert 128 uspace/srv/hid/display/display.c assert(list_empty(&disp->wmclients));
assert 129 uspace/srv/hid/display/display.c assert(list_empty(&disp->cfgclients));
assert 130 uspace/srv/hid/display/display.c assert(list_empty(&disp->seats));
assert 131 uspace/srv/hid/display/display.c assert(list_empty(&disp->ddevs));
assert 132 uspace/srv/hid/display/display.c assert(list_empty(&disp->idevcfgs));
assert 133 uspace/srv/hid/display/display.c assert(list_empty(&disp->ievents));
assert 134 uspace/srv/hid/display/display.c assert(list_empty(&disp->seats));
assert 135 uspace/srv/hid/display/display.c assert(list_empty(&disp->windows));
assert 360 uspace/srv/hid/display/display.c assert(client->display == NULL);
assert 361 uspace/srv/hid/display/display.c assert(!link_used(&client->lclients));
assert 414 uspace/srv/hid/display/display.c assert(wmclient->display == NULL);
assert 415 uspace/srv/hid/display/display.c assert(!link_used(&wmclient->lwmclients));
assert 438 uspace/srv/hid/display/display.c assert(cfgclient->display == NULL);
assert 439 uspace/srv/hid/display/display.c assert(!link_used(&cfgclient->lcfgclients));
assert 549 uspace/srv/hid/display/display.c assert(wnd->display == display);
assert 550 uspace/srv/hid/display/display.c assert(!link_used(&wnd->ldwindows));
assert 578 uspace/srv/hid/display/display.c assert(wnd->display == NULL);
assert 579 uspace/srv/hid/display/display.c assert(!link_used(&wnd->ldwindows));
assert 621 uspace/srv/hid/display/display.c assert(wnd->display != NULL);
assert 622 uspace/srv/hid/display/display.c assert(link_used(&wnd->ldwindows));
assert 733 uspace/srv/hid/display/display.c assert(seat->display == NULL);
assert 734 uspace/srv/hid/display/display.c assert(!link_used(&seat->lseats));
assert 902 uspace/srv/hid/display/display.c assert(ddev->display == NULL);
assert 903 uspace/srv/hid/display/display.c assert(!link_used(&ddev->lddevs));
assert 990 uspace/srv/hid/display/display.c assert(idevcfg->display == NULL);
assert 991 uspace/srv/hid/display/display.c assert(!link_used(&idevcfg->ldispidcfgs));
assert 1044 uspace/srv/hid/display/display.c assert(cursor->display == NULL);
assert 1045 uspace/srv/hid/display/display.c assert(!link_used(&cursor->ldisplay));
assert 138 uspace/srv/hid/display/ievent.c assert(link != NULL);
assert 167 uspace/srv/hid/display/ievent.c assert(disp->ievent_fid == 0);
assert 201 uspace/srv/hid/display/ievent.c assert(link != NULL);
assert 60 uspace/srv/hid/display/output.c assert(fibril_mutex_is_locked(&output->lock));
assert 513 uspace/srv/hid/display/seat.c assert(false);
assert 650 uspace/srv/hid/display/seat.c assert(idevcfg->seat == NULL);
assert 651 uspace/srv/hid/display/seat.c assert(!link_used(&idevcfg->lseatidcfgs));
assert 481 uspace/srv/hid/display/window.c assert(wnd->state == dsw_moving);
assert 509 uspace/srv/hid/display/window.c assert(wnd->state == dsw_moving);
assert 570 uspace/srv/hid/display/window.c assert(wnd->state == dsw_resizing);
assert 603 uspace/srv/hid/display/window.c assert(wnd->state == dsw_resizing);
assert 1202 uspace/srv/hid/display/window.c assert(wnd->state == dsw_moving || wnd->state == dsw_resizing);
assert 61 uspace/srv/hid/output/output.c assert(ops->get_dimensions);
assert 89 uspace/srv/hid/output/output.c assert(dev->ops.yield);
assert 104 uspace/srv/hid/output/output.c assert(dev->ops.claim);
assert 140 uspace/srv/hid/output/output.c assert(dev->ops.get_caps);
assert 222 uspace/srv/hid/output/output.c assert(dev->ops.cursor_update);
assert 279 uspace/srv/hid/output/output.c assert(dev->ops.char_update);
assert 325 uspace/srv/hid/output/output.c assert(dev->ops.char_update);
assert 374 uspace/srv/hid/output/output.c assert(dev->ops.char_update);
assert 124 uspace/srv/hid/remcons/user.c assert(user);
assert 180 uspace/srv/hid/remcons/user.c assert(user->locsrv_connection_count > 0);
assert 406 uspace/srv/hid/remcons/user.c assert(size > 0);
assert 500 uspace/srv/hid/remcons/user.c assert(converted);
assert 355 uspace/srv/loader/main.c assert(!ipc_get_imethod(req));
assert 64 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&cdir->mutex));
assert 110 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&cat->mutex));
assert 111 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 136 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&memb->cat->mutex));
assert 137 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 148 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&cdir->mutex));
assert 161 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&cdir->mutex));
assert 178 uspace/srv/locsrv/category.c assert(fibril_mutex_is_locked(&cat->mutex));
assert 186 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 203 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 217 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 235 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 250 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 280 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 294 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 303 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 312 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&services_list_mutex));
assert 313 uspace/srv/locsrv/locsrv.c assert(fibril_mutex_is_locked(&cdir.mutex));
assert 196 uspace/srv/logger/logs.c assert(fibril_mutex_is_locked(&log->guard));
assert 209 uspace/srv/logger/logs.c assert(fibril_mutex_is_locked(&log->guard));
assert 210 uspace/srv/logger/logs.c assert(log->ref_counter > 0);
assert 235 uspace/srv/logger/logs.c assert(log->ref_counter > 0);
assert 256 uspace/srv/logger/logs.c assert(log->ref_counter == 0);
assert 287 uspace/srv/logger/logs.c assert(fibril_mutex_is_locked(&log->guard));
assert 288 uspace/srv/logger/logs.c assert(log->dest != NULL);
assert 314 uspace/srv/logger/logs.c assert(fibril_mutex_is_locked(&new_log->guard));
assert 646 uspace/srv/net/dhcp/dhcp.c assert(dlink->state == ds_selecting);
assert 674 uspace/srv/net/dhcp/dhcp.c assert(dlink->state == ds_requesting);
assert 281 uspace/srv/net/dnsrsrv/dns_msg.c assert(buf_size >= 2);
assert 299 uspace/srv/net/dnsrsrv/dns_msg.c assert(buf_size >= 4);
assert 312 uspace/srv/net/dnsrsrv/dns_msg.c assert(buf_size >= 16);
assert 526 uspace/srv/net/dnsrsrv/dns_msg.c assert(q_size > 0);
assert 541 uspace/srv/net/dnsrsrv/dns_msg.c assert(rc == ENOMEM || rc == EINVAL);
assert 546 uspace/srv/net/dnsrsrv/dns_msg.c assert(q_size > 0);
assert 115 uspace/srv/net/dnsrsrv/query.c assert((rc == EINVAL) || (rc == ENOMEM));
assert 156 uspace/srv/net/dnsrsrv/transport.c assert(fibril_mutex_is_locked(&treq_lock));
assert 278 uspace/srv/net/dnsrsrv/transport.c assert(resp != NULL);
assert 401 uspace/srv/net/ethip/ethip_nic.c assert(i < count);
assert 133 uspace/srv/net/ethip/pdu.c assert(false);
assert 154 uspace/srv/net/inetsrv/addrobj.c assert(fibril_mutex_is_locked(&addr_list_lock));
assert 274 uspace/srv/net/inetsrv/addrobj.c assert(false);
assert 187 uspace/srv/net/inetsrv/icmpv6.c assert(sdu->src.version == ip_v6);
assert 188 uspace/srv/net/inetsrv/icmpv6.c assert(sdu->dest.version == ip_v6);
assert 178 uspace/srv/net/inetsrv/inet_link.c assert(fibril_mutex_is_locked(&inet_links_lock));
assert 479 uspace/srv/net/inetsrv/inet_link.c assert(fibril_mutex_is_locked(&inet_links_lock));
assert 507 uspace/srv/net/inetsrv/inet_link.c assert(fibril_mutex_is_locked(&inet_links_lock));
assert 722 uspace/srv/net/inetsrv/inet_link.c assert(i < link_cnt);
assert 119 uspace/srv/net/inetsrv/pdu.c assert(hdr_size % 4 == 0);
assert 120 uspace/srv/net/inetsrv/pdu.c assert(offs % FRAG_OFFS_UNIT == 0);
assert 121 uspace/srv/net/inetsrv/pdu.c assert(offs / FRAG_OFFS_UNIT < fragoff_limit);
assert 228 uspace/srv/net/inetsrv/pdu.c assert(hdr_size % 8 == 0);
assert 229 uspace/srv/net/inetsrv/pdu.c assert(offs % FRAG_OFFS_UNIT == 0);
assert 230 uspace/srv/net/inetsrv/pdu.c assert(offs / FRAG_OFFS_UNIT < fragoff_limit);
assert 269 uspace/srv/net/inetsrv/pdu.c assert(offsmf != 0);
assert 283 uspace/srv/net/inetsrv/pdu.c assert(offsmf == 0);
assert 129 uspace/srv/net/inetsrv/reass.c assert(fibril_mutex_is_locked(&reass_dgram_map_lock));
assert 133 uspace/srv/net/inetsrv/reass.c assert(f1_link != NULL);
assert 188 uspace/srv/net/inetsrv/reass.c assert(fibril_mutex_is_locked(&reass_dgram_map_lock));
assert 243 uspace/srv/net/inetsrv/reass.c assert(fibril_mutex_is_locked(&reass_dgram_map_lock));
assert 244 uspace/srv/net/inetsrv/reass.c assert(!list_empty(&rdg->frags));
assert 247 uspace/srv/net/inetsrv/reass.c assert(link != NULL);
assert 284 uspace/srv/net/inetsrv/reass.c assert(fibril_mutex_is_locked(&reass_dgram_map_lock));
assert 313 uspace/srv/net/inetsrv/reass.c assert(frag != NULL);
assert 314 uspace/srv/net/inetsrv/reass.c assert(!frag->packet.mf);
assert 92 uspace/srv/net/tcp/conn.c assert(rc == ENOMEM);
assert 102 uspace/srv/net/tcp/conn.c assert(list_empty(&conn_list));
assert 217 uspace/srv/net/tcp/conn.c assert(conn->mapped == false);
assert 296 uspace/srv/net/tcp/conn.c assert(conn->deleted == false);
assert 365 uspace/srv/net/tcp/conn.c assert(old_state != st_closed);
assert 380 uspace/srv/net/tcp/conn.c assert(fibril_mutex_is_locked(&conn->lock));
assert 412 uspace/srv/net/tcp/conn.c assert(false);
assert 439 uspace/srv/net/tcp/conn.c assert(rc == ENOENT);
assert 459 uspace/srv/net/tcp/conn.c assert(fibril_mutex_is_locked(&conn->lock));
assert 508 uspace/srv/net/tcp/conn.c assert(false);
assert 511 uspace/srv/net/tcp/conn.c assert(false);
assert 729 uspace/srv/net/tcp/conn.c assert(false);
assert 764 uspace/srv/net/tcp/conn.c assert(seq_no_in_rcv_wnd(conn, seg->seq));
assert 998 uspace/srv/net/tcp/conn.c assert(false);
assert 1001 uspace/srv/net/tcp/conn.c assert(false);
assert 1047 uspace/srv/net/tcp/conn.c assert(false);
assert 1053 uspace/srv/net/tcp/conn.c assert(seq_no_segment_ready(conn, seg));
assert 1131 uspace/srv/net/tcp/conn.c assert(false);
assert 1270 uspace/srv/net/tcp/conn.c assert(rc != EEXIST);
assert 1271 uspace/srv/net/tcp/conn.c assert(rc == ENOMEM);
assert 1304 uspace/srv/net/tcp/conn.c assert(false);
assert 127 uspace/srv/net/tcp/iqueue.c assert(false);
assert 158 uspace/srv/net/tcp/pdu.c assert(src_ver == dest_ver);
assert 178 uspace/srv/net/tcp/pdu.c assert(false);
assert 281 uspace/srv/net/tcp/pdu.c assert(false);
assert 175 uspace/srv/net/tcp/segment.c assert(left + right <= seg->len);
assert 211 uspace/srv/net/tcp/segment.c assert(left + right <= t_size);
assert 230 uspace/srv/net/tcp/segment.c assert(size <= tcp_segment_text_size(seg));
assert 105 uspace/srv/net/tcp/seq_no.c assert(seq_no_segment_acceptable(conn, seg));
assert 131 uspace/srv/net/tcp/seq_no.c assert(seq_no_segment_acceptable(conn, seg));
assert 146 uspace/srv/net/tcp/seq_no.c assert(seg->len > 0);
assert 226 uspace/srv/net/tcp/seq_no.c assert(seq_no_segment_acceptable(conn, seg));
assert 265 uspace/srv/net/tcp/seq_no.c assert(seq_no_segment_acceptable(conn, sa));
assert 266 uspace/srv/net/tcp/seq_no.c assert(seq_no_segment_acceptable(conn, sb));
assert 274 uspace/srv/net/tcp/seq_no.c assert(sa->seq == sb->seq);
assert 465 uspace/srv/net/tcp/service.c assert(rc == ENOMEM);
assert 492 uspace/srv/net/tcp/service.c assert(rc == ENOENT);
assert 535 uspace/srv/net/tcp/service.c assert(rc == ENOMEM);
assert 565 uspace/srv/net/tcp/service.c assert(rc == ENOENT);
assert 592 uspace/srv/net/tcp/service.c assert(rc == ENOENT);
assert 617 uspace/srv/net/tcp/service.c assert(rc == ENOENT);
assert 642 uspace/srv/net/tcp/service.c assert(rc == ENOENT);
assert 65 uspace/srv/net/tcp/tcp.c assert(rc == ENOMEM);
assert 108 uspace/srv/net/tcp/tqueue.c assert(fibril_mutex_is_locked(&conn->lock));
assert 122 uspace/srv/net/tcp/tqueue.c assert(fibril_mutex_is_locked(&conn->lock));
assert 372 uspace/srv/net/tcp/tqueue.c assert(fibril_mutex_is_locked(&conn->lock));
assert 389 uspace/srv/net/tcp/tqueue.c assert(fibril_mutex_is_locked(&conn->lock));
assert 108 uspace/srv/net/tcp/ucall.c assert(nconn->cstate == st_closed);
assert 212 uspace/srv/net/tcp/ucall.c assert(conn->reset);
assert 66 uspace/srv/net/udp/assoc.c assert(rc == ENOMEM);
assert 77 uspace/srv/net/udp/assoc.c assert(list_empty(&assoc_list));
assert 184 uspace/srv/net/udp/assoc.c assert(assoc->deleted == false);
assert 430 uspace/srv/net/udp/assoc.c assert(rc == ENOENT);
assert 97 uspace/srv/net/udp/pdu.c assert(src_ver == dest_ver);
assert 115 uspace/srv/net/udp/pdu.c assert(false);
assert 149 uspace/srv/net/udp/pdu.c assert(false);
assert 126 uspace/srv/net/udp/service.c assert(rc == ENOMEM);
assert 160 uspace/srv/net/udp/service.c assert(rc == ENOENT);
assert 186 uspace/srv/net/udp/service.c assert(rc == ENOENT);
assert 87 uspace/srv/ns/clonable.c assert(ns_service_is_clonable(csr->service, csr->iface));
assert 115 uspace/srv/ns/clonable.c assert(ns_service_is_clonable(service, iface));
assert 272 uspace/srv/ns/service.c assert(hashed_service->service == service);
assert 315 uspace/srv/ns/service.c assert(hashed_service->service == service);
assert 128 uspace/srv/ns/task.c assert(item);
assert 249 uspace/srv/ns/task.c assert(call->request_label);
assert 269 uspace/srv/ns/task.c assert(label);
assert 137 uspace/srv/vfs/vfs_file.c assert(!file->refcnt);
assert 160 uspace/srv/vfs/vfs_file.c assert(fibril_mutex_is_locked(&vfs_data->lock));
assert 174 uspace/srv/vfs/vfs_file.c assert(fibril_mutex_is_locked(&vfs_data->lock));
assert 319 uspace/srv/vfs/vfs_file.c assert(FILES[fd] == NULL);
assert 354 uspace/srv/vfs/vfs_file.c assert(file != NULL);
assert 355 uspace/srv/vfs/vfs_file.c assert(file->node != NULL);
assert 396 uspace/srv/vfs/vfs_file.c assert(bh);
assert 216 uspace/srv/vfs/vfs_ipc.c assert(oldc[olen] == '\0');
assert 217 uspace/srv/vfs/vfs_ipc.c assert(newc[nlen] == '\0');
assert 142 uspace/srv/vfs/vfs_lookup.c assert(base != NULL);
assert 143 uspace/srv/vfs/vfs_lookup.c assert(child != NULL);
assert 144 uspace/srv/vfs/vfs_lookup.c assert(base->fs_handle);
assert 145 uspace/srv/vfs/vfs_lookup.c assert(child->fs_handle);
assert 146 uspace/srv/vfs/vfs_lookup.c assert(path != NULL);
assert 212 uspace/srv/vfs/vfs_lookup.c assert(base);
assert 213 uspace/srv/vfs/vfs_lookup.c assert(result);
assert 291 uspace/srv/vfs/vfs_lookup.c assert(nlen == 0);
assert 339 uspace/srv/vfs/vfs_lookup.c assert(base != NULL);
assert 340 uspace/srv/vfs/vfs_lookup.c assert(path != NULL);
assert 351 uspace/srv/vfs/vfs_lookup.c assert(path[0] == '/');
assert 97 uspace/srv/vfs/vfs_ops.c assert(oldfile->node != NULL);
assert 284 uspace/srv/vfs/vfs_ops.c assert(file != NULL);
assert 434 uspace/srv/vfs/vfs_ops.c assert(fs_info);
assert 537 uspace/srv/vfs/vfs_ops.c assert(old[shared] == '/');
assert 538 uspace/srv/vfs/vfs_ops.c assert(new[shared] == '/');
assert 745 uspace/srv/vfs/vfs_ops.c assert(parent != NULL);
assert 906 uspace/srv/vfs/vfs_ops.c assert(file != NULL);
assert 264 uspace/srv/vfs/vfs_register.c assert(fs->sess);
assert 267 uspace/srv/vfs/vfs_register.c assert(exch);
assert 86 uspace/srv/volsrv/part.c assert(false);
assert 215 uspace/srv/volsrv/part.c assert(fibril_mutex_is_locked(&part->parts->lock));
assert 426 uspace/srv/volsrv/part.c assert(fibril_mutex_is_locked(&parts->lock));
assert 472 uspace/srv/volsrv/part.c assert(fibril_mutex_is_locked(&part->parts->lock));
assert 521 uspace/srv/volsrv/part.c assert(list_empty(&parts->parts));
assert 572 uspace/srv/volsrv/part.c assert(fibril_mutex_is_locked(&parts->lock));
assert 312 uspace/srv/volsrv/volume.c assert(fibril_mutex_is_locked(&volumes->lock));
assert 337 uspace/srv/volsrv/volume.c assert(fibril_mutex_is_locked(&volumes->lock));
assert 402 uspace/srv/volsrv/volume.c assert(fibril_mutex_is_locked(&volumes->lock));
HelenOS homepage, sources at GitHub