Home
last modified time | relevance | path

Searched refs:DEBUG_ASSERT (Results 1 – 25 of 99) sorted by relevance

1234

/lk-master/kernel/
A Dthread.c79 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in insert_in_run_queue_head()
80 DEBUG_ASSERT(t->state == THREAD_READY); in insert_in_run_queue_head()
82 DEBUG_ASSERT(arch_ints_disabled()); in insert_in_run_queue_head()
90 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in insert_in_run_queue_tail()
91 DEBUG_ASSERT(t->state == THREAD_READY); in insert_in_run_queue_tail()
93 DEBUG_ASSERT(arch_ints_disabled()); in insert_in_run_queue_tail()
475 DEBUG_ASSERT(arch_ints_disabled()); in thread_resched()
483 DEBUG_ASSERT(newthread); in thread_resched()
695 DEBUG_ASSERT(!thread_is_idle(t)); in thread_unblock()
848 DEBUG_ASSERT(arch_ints_disabled()); in thread_become_idle()
[all …]
A Devent.c55 DEBUG_ASSERT(e->magic == EVENT_MAGIC); in event_destroy()
85 DEBUG_ASSERT(e->magic == EVENT_MAGIC); in event_wait_timeout()
123 DEBUG_ASSERT(e->magic == EVENT_MAGIC); in event_signal()
163 DEBUG_ASSERT(e->magic == EVENT_MAGIC); in event_unsignal()
/lk-master/arch/arm/arm/
A Dmmu.c56 DEBUG_ASSERT(1); in mmu_flags_to_l1_arch_flags()
107 DEBUG_ASSERT(1); in mmu_flags_to_l2_arch_flags_small_page()
140 DEBUG_ASSERT(aspace); in arm_mmu_map_section()
167 DEBUG_ASSERT(aspace); in arm_mmu_unmap_section()
198 DEBUG_ASSERT(n <= 7); in arm_mmu_init()
238 DEBUG_ASSERT(aspace); in arch_mmu_query()
372 DEBUG_ASSERT(aspace); in get_l2_table()
373 DEBUG_ASSERT(ppa); in get_l2_table()
410 DEBUG_ASSERT(aspace); in put_l2_table()
483 DEBUG_ASSERT(aspace); in arch_mmu_map()
[all …]
/lk-master/lib/klog/
A Dklog.c55 DEBUG_ASSERT(klog_buf); in find_nth_log()
74 DEBUG_ASSERT(kb); in get_checksum_klog_buffer_header()
81 DEBUG_ASSERT(k); in get_checksum_klog_data()
93 DEBUG_ASSERT(kb); in checksum_klog_buffer_header()
100 DEBUG_ASSERT(k); in checksum_klog_data()
151 DEBUG_ASSERT(klog_buf); in klog_create()
152 DEBUG_ASSERT(klog); in klog_create()
267 DEBUG_ASSERT(klog); in klog_read()
310 DEBUG_ASSERT(klog); in klog_has_data()
318 DEBUG_ASSERT(klog); in klog_puts_len()
[all …]
/lk-master/arch/riscv/
A Dmmu.cpp77 DEBUG_ASSERT(level < RISCV_MMU_PT_LEVELS); in vaddr_to_index()
120 DEBUG_ASSERT(IS_PAGE_ALIGNED(pt)); in riscv_set_satp()
203 DEBUG_ASSERT(aspace); in arch_mmu_init_aspace()
207 DEBUG_ASSERT(size > PAGE_SIZE); in arch_mmu_init_aspace()
208 DEBUG_ASSERT(base + size - 1 > base); in arch_mmu_init_aspace()
217 DEBUG_ASSERT(!kernel_aspace); in arch_mmu_init_aspace()
257 DEBUG_ASSERT(aspace); in arch_mmu_destroy_aspace()
317 DEBUG_ASSERT(aspace); in riscv_pt_walk()
399 DEBUG_ASSERT(aspace); in arch_mmu_map()
469 DEBUG_ASSERT(aspace); in arch_mmu_query()
[all …]
/lk-master/lib/minip/
A Dtcp.c263 DEBUG_ASSERT(s); in add_socket_to_list()
274 DEBUG_ASSERT(s); in remove_socket_from_list()
286 DEBUG_ASSERT(s); in inc_socket_ref()
294 DEBUG_ASSERT(s); in dec_socket_ref()
313 DEBUG_ASSERT(s); in tcp_timer_set()
322 DEBUG_ASSERT(s); in tcp_timer_cancel()
595 DEBUG_ASSERT(s); in handle_data()
642 DEBUG_ASSERT(s); in tcp_socket_send()
676 DEBUG_ASSERT(s); in send_ack()
740 DEBUG_ASSERT(s); in handle_ack()
[all …]
/lk-master/lib/cbuf/
A Dcbuf.c28 DEBUG_ASSERT(cbuf); in cbuf_initialize_etc()
29 DEBUG_ASSERT(len > 0); in cbuf_initialize_etc()
30 DEBUG_ASSERT(ispow2(len)); in cbuf_initialize_etc()
56 DEBUG_ASSERT(cbuf); in cbuf_write()
113 DEBUG_ASSERT(cbuf); in cbuf_read()
151 DEBUG_ASSERT(pos > 0); in cbuf_read()
169 DEBUG_ASSERT(cbuf && regions); in cbuf_peek()
178 DEBUG_ASSERT(ret <= sz); in cbuf_peek()
196 DEBUG_ASSERT(cbuf); in cbuf_write_char()
218 DEBUG_ASSERT(cbuf); in cbuf_read_char()
[all …]
/lk-master/arch/arm/include/arch/
A Dspinlock.h42 DEBUG_ASSERT(arch_ints_disabled()); in arch_spin_lock()
43 DEBUG_ASSERT(*lock == 0); in arch_spin_lock()
48 DEBUG_ASSERT(arch_ints_disabled()); in arch_spin_trylock()
49 DEBUG_ASSERT(*lock == 0); in arch_spin_trylock()
54 DEBUG_ASSERT(arch_ints_disabled()); in arch_spin_unlock()
55 DEBUG_ASSERT(*lock != 0); in arch_spin_unlock()
/lk-master/lib/bio/
A Dbio.c340 DEBUG_ASSERT(entry->ref > 0); in bio_open()
353 DEBUG_ASSERT(dev); in bio_close()
361 DEBUG_ASSERT(dev && dev->ref > 0); in bio_read()
362 DEBUG_ASSERT(buf); in bio_read()
376 DEBUG_ASSERT(buf); in bio_read_block()
390 DEBUG_ASSERT(buf); in bio_write()
404 DEBUG_ASSERT(buf); in bio_write_block()
444 DEBUG_ASSERT(dev); in bio_initialize_bdev()
445 DEBUG_ASSERT(name); in bio_initialize_bdev()
513 DEBUG_ASSERT(dev); in bio_register_device()
[all …]
/lk-master/platform/pc/
A Duart.c98 DEBUG_ASSERT(dev); in uart_irq_handler()
99 DEBUG_ASSERT(dev->config); in uart_irq_handler()
100 DEBUG_ASSERT(dev->state); in uart_irq_handler()
117 DEBUG_ASSERT(dev); in uart_write_thread()
118 DEBUG_ASSERT(dev->config); in uart_write_thread()
119 DEBUG_ASSERT(dev->state); in uart_write_thread()
142 DEBUG_ASSERT(dev->state); in uart_read()
152 DEBUG_ASSERT(dev->state); in uart_write()
A Dide.c257 DEBUG_ASSERT(config->legacy_index < 2); in ide_init()
302 DEBUG_ASSERT(dev); in ide_get_block_size()
303 DEBUG_ASSERT(dev->state); in ide_get_block_size()
310 DEBUG_ASSERT(dev); in ide_get_block_count()
311 DEBUG_ASSERT(dev->state); in ide_get_block_count()
318 DEBUG_ASSERT(dev); in ide_write()
319 DEBUG_ASSERT(dev->state); in ide_write()
402 DEBUG_ASSERT(dev); in ide_read()
403 DEBUG_ASSERT(dev->state); in ide_read()
486 DEBUG_ASSERT(index >= 0 && index < IDE_REG_NUM); in ide_read_reg8()
[all …]
/lk-master/arch/arm64/
A Dmmu.c53 DEBUG_ASSERT(1); in mmu_flags_to_pte_attr()
95 DEBUG_ASSERT(aspace); in arch_mmu_query()
96 DEBUG_ASSERT(aspace->tt_virt); in arch_mmu_query()
488 DEBUG_ASSERT(aspace); in arch_mmu_map()
489 DEBUG_ASSERT(aspace->tt_virt); in arch_mmu_map()
525 DEBUG_ASSERT(aspace); in arch_mmu_unmap()
526 DEBUG_ASSERT(aspace->tt_virt); in arch_mmu_unmap()
558 DEBUG_ASSERT(aspace); in arch_mmu_init_aspace()
561 DEBUG_ASSERT(size > PAGE_SIZE); in arch_mmu_init_aspace()
601 DEBUG_ASSERT(aspace); in arch_mmu_destroy_aspace()
[all …]
/lk-master/lib/watchdog/
A Dwatchdog.c33 DEBUG_ASSERT(false); in watchdog_timer_callback()
39 DEBUG_ASSERT(NULL != dog); in watchdog_init()
40 DEBUG_ASSERT(INFINITE_TIME != timeout); in watchdog_init()
55 DEBUG_ASSERT((NULL != dog) && (WATCHDOG_MAGIC == dog->magic)); in watchdog_set_enabled()
74 DEBUG_ASSERT((NULL != dog) && (WATCHDOG_MAGIC == dog->magic)); in watchdog_pet()
97 DEBUG_ASSERT(INFINITE_TIME != timeout); in watchdog_hw_init()
/lk-master/dev/virtio/gpu/
A Dvirtio-gpu.c63 DEBUG_ASSERT(gdev); in send_command_response()
64 DEBUG_ASSERT(cmd); in send_command_response()
65 DEBUG_ASSERT(_res); in send_command_response()
72 DEBUG_ASSERT(desc); in send_command_response()
82 DEBUG_ASSERT(desc); in send_command_response()
110 DEBUG_ASSERT(gdev); in get_display_info()
160 DEBUG_ASSERT(gdev); in allocate_2d_resource()
197 DEBUG_ASSERT(gdev); in attach_backing()
198 DEBUG_ASSERT(ptr); in attach_backing()
543 DEBUG_ASSERT(fb); in display_get_framebuffer()
[all …]
/lk-master/kernel/vm/
A Dvmm.c92 DEBUG_ASSERT(name); in alloc_region_struct()
111 DEBUG_ASSERT(aspace); in add_region_to_aspace()
112 DEBUG_ASSERT(r); in add_region_to_aspace()
174 DEBUG_ASSERT(pva); in check_gap()
212 DEBUG_ASSERT(aspace); in alloc_spot()
291 DEBUG_ASSERT(aspace); in vmm_reserve_space()
332 DEBUG_ASSERT(aspace); in vmm_alloc_physical()
389 DEBUG_ASSERT(aspace); in vmm_alloc_contiguous()
463 DEBUG_ASSERT(aspace); in vmm_alloc()
545 DEBUG_ASSERT(aspace); in vmm_find_region()
[all …]
A Dpmm.c65 DEBUG_ASSERT(IS_PAGE_ALIGNED(arena->base)); in pmm_add_arena()
66 DEBUG_ASSERT(IS_PAGE_ALIGNED(arena->size)); in pmm_add_arena()
67 DEBUG_ASSERT(arena->size > 0); in pmm_add_arena()
110 DEBUG_ASSERT(list); in pmm_alloc_pages()
148 DEBUG_ASSERT(ret == 1); in pmm_alloc_page()
156 DEBUG_ASSERT(list); in pmm_alloc_range()
172 DEBUG_ASSERT(index < a->size / PAGE_SIZE); in pmm_alloc_range()
180 DEBUG_ASSERT(list_in_list(&page->node)); in pmm_alloc_range()
202 DEBUG_ASSERT(list); in pmm_free()
210 DEBUG_ASSERT(!list_in_list(&page->node)); in pmm_free()
[all …]
/lk-master/platform/zynq/
A Duart.c103 DEBUG_ASSERT(port >= 0 && port < NUM_UARTS); in uart_putc()
116 DEBUG_ASSERT(port >= 0 && port < NUM_UARTS); in uart_getc()
126 DEBUG_ASSERT(port >= 0 && port < NUM_UARTS); in uart_flush_tx()
130 DEBUG_ASSERT(port >= 0 && port < NUM_UARTS); in uart_flush_rx()
134 DEBUG_ASSERT(port >= 0 && port < NUM_UARTS); in uart_init_port()
A Dqspi.c211 DEBUG_ASSERT(cs <= 1); in qspi_cs()
239 DEBUG_ASSERT(qspi); in qspi_rd()
240 DEBUG_ASSERT(asize < 6); in qspi_rd()
273 DEBUG_ASSERT(qspi); in qspi_wr()
274 DEBUG_ASSERT(asize < 6); in qspi_wr()
305 DEBUG_ASSERT(qspi); in qspi_wr1()
318 DEBUG_ASSERT(qspi); in qspi_wr2()
331 DEBUG_ASSERT(qspi); in qspi_wr3()
A Dclocks.c115 DEBUG_ASSERT(periph < _PERIPH_MAX); in periph_clk_ctrl_reg()
246 DEBUG_ASSERT(periph < _PERIPH_MAX); in zynq_set_clock()
247 DEBUG_ASSERT(!enable || (divisor > 0 && divisor <= 0x3f)); in zynq_set_clock()
248 DEBUG_ASSERT(source < 4); in zynq_set_clock()
252 DEBUG_ASSERT(clk_reg != 0); in zynq_set_clock()
288 DEBUG_ASSERT(periph < _PERIPH_MAX); in zynq_get_clock()
292 DEBUG_ASSERT(clk_reg != 0); in zynq_get_clock()
/lk-master/dev/virtio/net/
A Dvirtio-net.c192 DEBUG_ASSERT(ndev); in virtio_net_queue_tx_pktbuf()
225 DEBUG_ASSERT(ndev->pending_tx_packet[i] == NULL); in virtio_net_queue_tx_pktbuf()
226 DEBUG_ASSERT(ndev->pending_tx_packet[desc->next] == NULL); in virtio_net_queue_tx_pktbuf()
254 DEBUG_ASSERT(ndev); in virtio_net_queue_tx()
255 DEBUG_ASSERT(buf); in virtio_net_queue_tx()
278 DEBUG_ASSERT(ndev); in virtio_net_queue_rx()
279 DEBUG_ASSERT(p); in virtio_net_queue_rx()
297 DEBUG_ASSERT(ndev->pending_rx_packet[i] == NULL); in virtio_net_queue_rx()
343 DEBUG_ASSERT(p); in virtio_net_irq_driver_callback()
361 DEBUG_ASSERT(p); in virtio_net_irq_driver_callback()
[all …]
/lk-master/platform/nrf51xxx/
A Dgpio.c15 DEBUG_ASSERT(nr <= NRF_MAX_PIN_NUMBER); in gpio_config()
41 DEBUG_ASSERT(nr <= NRF_MAX_PIN_NUMBER); in gpio_set()
51 DEBUG_ASSERT( nr <= NRF_MAX_PIN_NUMBER ); in gpio_get()
/lk-master/arch/x86/32/
A Dmmu.c145 DEBUG_ASSERT(init_table); in x86_mmu_get_mapping()
222 DEBUG_ASSERT(init_table); in x86_mmu_check_mapping()
288 DEBUG_ASSERT(page_ptr); in _map_alloc_page()
313 DEBUG_ASSERT(init_table); in x86_mmu_add_mapping()
359 DEBUG_ASSERT(pd_paddr); in x86_mmu_add_mapping()
444 DEBUG_ASSERT(init_table); in x86_mmu_unmap()
467 DEBUG_ASSERT(aspace); in arch_mmu_unmap()
493 DEBUG_ASSERT(init_table); in x86_mmu_map_range()
529 DEBUG_ASSERT(aspace); in arch_mmu_query()
554 DEBUG_ASSERT(aspace); in arch_mmu_map()
[all …]
/lk-master/platform/stm32f0xx/
A Dusbc.c265 DEBUG_ASSERT(ep <= NUM_EP); in usbc_setup_endpoint()
268 DEBUG_ASSERT(PCD_EP_TYPE_CTRL == USB_CTRL); in usbc_setup_endpoint()
269 DEBUG_ASSERT(PCD_EP_TYPE_ISOC == USB_ISOC); in usbc_setup_endpoint()
270 DEBUG_ASSERT(PCD_EP_TYPE_BULK == USB_BULK); in usbc_setup_endpoint()
271 DEBUG_ASSERT(PCD_EP_TYPE_INTR == USB_INTR); in usbc_setup_endpoint()
290 DEBUG_ASSERT(ep <= NUM_EP); in usbc_queue_rx()
291 DEBUG_ASSERT(usbc.ep_out[ep].transfer == NULL); in usbc_queue_rx()
302 DEBUG_ASSERT(ep <= NUM_EP); in usbc_queue_tx()
303 DEBUG_ASSERT(usbc.ep_in[ep].transfer == NULL); in usbc_queue_tx()
/lk-master/dev/usb/
A Dusb.c71 DEBUG_ASSERT(desc); in usb_get_current_iface_num()
109 DEBUG_ASSERT(interface_num > 0); in usb_append_interface()
174 DEBUG_ASSERT(cb); in usb_register_callback()
202 DEBUG_ASSERT(setup); in usbc_callback()
344 DEBUG_ASSERT(config); in usb_setup()
345 DEBUG_ASSERT(usb.active == false); in usb_setup()
353 DEBUG_ASSERT(usb.config); in usb_start()
354 DEBUG_ASSERT(usb.active == false); in usb_start()
364 DEBUG_ASSERT(usb.active == true); in usb_stop()
/lk-master/dev/
A Ddriver.c58 DEBUG_ASSERT(dev->driver); in device_init()
80 DEBUG_ASSERT(dev->driver); in device_fini()
94 DEBUG_ASSERT(dev->driver); in device_suspend()
108 DEBUG_ASSERT(dev->driver); in device_resume()

Completed in 38 milliseconds

1234