Home
last modified time | relevance | path

Searched refs:assert (Results 1 – 13 of 13) sorted by relevance

/DragonOS-0.1.3/kernel/src/ktest/
Dtest-kfifo.c13 assert(kfifo_alloc(&fifo, fifo_size, 0) == 0); in ktest_kfifo_case0_1()
20 assert(fifo.buffer != NULL); in ktest_kfifo_case0_1()
21 assert(fifo.total_size == fifo_size); in ktest_kfifo_case0_1()
22 assert(kfifo_total_size(&fifo) == fifo_size); in ktest_kfifo_case0_1()
23 assert(fifo.size == 0); in ktest_kfifo_case0_1()
24 assert(kfifo_size(&fifo) == 0); in ktest_kfifo_case0_1()
25 assert(fifo.in_offset == 0); in ktest_kfifo_case0_1()
26 assert(fifo.out_offset == 0); in ktest_kfifo_case0_1()
27 assert(kfifo_empty(&fifo) == 1); in ktest_kfifo_case0_1()
28 assert(kfifo_full(&fifo) == 0); in ktest_kfifo_case0_1()
[all …]
Dtest-idr.c26 assert((int)(bitmap == IDR_FULL)); in ktest_idr_case0()
29 assert(k_idr.top == NULL); // 刚被创建,必须是NULL in ktest_idr_case0()
30 assert(k_idr.id_free_cnt == 0); // 必须是0 in ktest_idr_case0()
31 assert(k_idr.free_list == NULL); in ktest_idr_case0()
35 assert(k_idr.id_free_cnt == 0); in ktest_idr_case0()
37 assert(idr_preload(&k_idr, 0) == 0); in ktest_idr_case0()
38 assert(k_idr.id_free_cnt == IDR_FREE_MAX); in ktest_idr_case0()
49 assert(id == chk_id); in ktest_idr_case0()
54 assert(k_idr.id_free_cnt == 0); in ktest_idr_case0()
55 assert(k_idr.free_list == NULL); in ktest_idr_case0()
[all …]
Dtest-bitree.c44 assert(rn != NULL); in ktest_bitree_case1()
45 assert((int64_t)rn != (-EINVAL)); in ktest_bitree_case1()
46 assert(rn->value == tv1); in ktest_bitree_case1()
49 assert(tree != NULL); in ktest_bitree_case1()
50 assert(tree->bt_node == rn); in ktest_bitree_case1()
51 assert(tree->cmp == compare); in ktest_bitree_case1()
52 assert(tree->release == release); in ktest_bitree_case1()
53 assert(tree->size == 1); in ktest_bitree_case1()
57 assert(tv2 != NULL); in ktest_bitree_case1()
62 assert(val == 0); in ktest_bitree_case1()
[all …]
Dtest-mutex.c18 assert(mutex_is_locked(&mtx) == 0); in ktest_mutex_case0()
20 assert(mutex_is_locked(&mtx) == 1); in ktest_mutex_case0()
22 assert(mutex_is_locked(&mtx) == 0); in ktest_mutex_case0()
23 assert(mutex_trylock(&mtx) == 1); in ktest_mutex_case0()
25 assert(mutex_is_locked(&mtx) == 0); in ktest_mutex_case0()
37 assert(mutex_is_locked(&mtx) == 1); in ktest_mutex_case1_pid1()
39 assert(atomic_read(&mtx.count) == 0); in ktest_mutex_case1_pid1()
40 assert(list_empty(&mtx.wait_list)); in ktest_mutex_case1_pid1()
49 if (!assert(mutex_is_locked(&mtx) == 0)) in ktest_mutex_case1()
62 assert(atomic_read(&mtx.count) == 0); in ktest_mutex_case1()
[all …]
Dktest_utils.h6 #define assert(condition) ({ \ macro
/DragonOS-0.1.3/kernel/src/arch/x86_64/
Dia64_msi.c13 …(vector, processor, edge_trigger, assert) ((uint32_t)((vector & 0xff) | (edge_trigger == 1 ? 0 : (… argument
25 …msi_message_data(msi_desc->irq_num, msi_desc->processor, msi_desc->edge_trigger, msi_desc->assert); in msi_arch_get_msg()
/DragonOS-0.1.3/docs/kernel/ktest/
Dktest-framework.md51 …能测试到目标组件的每个情况。为了检验模块的行为是否符合预期，我们需要使用`assert(condition)`宏函数，对目标`condition`进行校验。若`condition`为1，则表明测试…
88 ### assert subsection
90 `#define assert(condition)`
/DragonOS-0.1.3/kernel/src/libs/
Dlz4.c245 #ifndef assert
246 #define assert(condition) ((void)0) macro
469 assert(srcPtr + offset == dstPtr); in LZ4_memcpy_using_offset_base()
519 assert(dstEnd >= dstPtr + MINMATCH); in LZ4_memcpy_using_offset()
555 assert(val != 0); in LZ4_NbCommonBytes()
954 assert(0); in LZ4_clearHash()
986 assert(0); in LZ4_putIndexOnHash()
998 assert(idx < 65536); in LZ4_putIndexOnHash()
1013 assert(0); in LZ4_putPositionOnHash()
1055 assert(h < (1U << (LZ4_MEMORY_USAGE - 2))); in LZ4_getIndexOnHash()
[all …]
/DragonOS-0.1.3/kernel/src/driver/pci/
Dmsi.h76 uint16_t assert; // 是否高电平触发 member
/DragonOS-0.1.3/kernel/src/driver/usb/xhci/
Dxhci.h34 int8_t assert; // 是否高电平触发 member
Dxhci.c637 msi_desc.assert = info->assert; in xhci_hc_irq_install()
1943 install_info.assert = 1; in xhci_hc_init_intr()
/DragonOS-0.1.3/kernel/src/ipc/
Dsignal.rs266 assert!(spin_is_locked(unsafe { &(*pcb.sighand).siglock })); in __send_signal_locked()
417 assert!(spin_is_locked(&unsafe { (*pcb.sighand).siglock })); in signal_wake_up_state()
Dsignal_types.rs526 assert!(filter_result.len() <= 1); in find_and_delete()