Searched refs:assert (Results 1 - 25 of 388) sorted by relevance

1234567891011>>

/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dverification.h17 #include <assert.h>
25 assert(x); \
H A Dcompile_time.h15 #include <assert.h>
/seL4-test-master/kernel/include/arch/riscv/arch/32/mode/
H A Dtypes.h10 #include <assert.h>
/seL4-test-master/kernel/include/arch/riscv/arch/64/mode/
H A Dtypes.h10 #include <assert.h>
/seL4-test-master/projects/musllibc/include/
H A Dassert.h3 #undef assert macro
6 #define assert(x) (void)0 macro
8 #define assert(x) ((void)((x) || (__assert_fail(#x, __FILE__, __LINE__, __func__),0))) macro
/seL4-test-master/kernel/libsel4/include/sel4/
H A Ddebug_assert.h11 * in sel4/assert.h.
22 #include <sel4/assert.h>
/seL4-test-master/projects/util_libs/libpci/src/
H A Dvirtual_device.c12 #include <assert.h>
24 assert(vdevice);
25 assert(offset >= PCI_BASE_ADDRESS_0 && offset < PCI_BASE_ADDRESS_5 + 4);
36 assert(vdevice);
37 assert(offset >= PCI_BASE_ADDRESS_0 && offset < PCI_BASE_ADDRESS_5 + 4);
53 assert(self);
62 assert(self);
67 assert(self);
79 assert(self);
80 assert(offse
[all...]
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c16 #include <assert.h>
37 assert(data);
38 assert(res);
58 assert(data);
59 assert(res);
73 assert(data);
95 assert(data);
96 assert(res);
97 assert(dest);
138 assert(dat
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/sync/
H A Datomic.h15 #include <assert.h>
28 assert(x != NULL);
29 assert(oldval != NULL);
49 assert(x != NULL);
50 assert(oldval != NULL);
/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dirq_combiner.h72 assert(combiner);
73 assert(combiner->is_pending);
86 assert(combiner);
87 assert(combiner->is_pending);
100 assert(combiner);
101 assert(combiner->is_pending);
114 assert(combiner);
115 assert(combiner->is_pending);
127 assert(combiner);
128 assert(combine
[all...]
H A Dclock.h16 #include <assert.h>
122 assert(clock_sys);
123 assert(clock_sys->get_clock);
145 assert(clock_sys);
146 assert(clock_sys->gate_enable);
159 assert(clk);
160 assert(clk->set_freq);
173 assert(clk);
174 assert(clk->get_freq);
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Davic.c13 #include <assert.h>
28 assert(interrupts_prop != NULL);
31 assert(total_cells == FSL_AVIC_INT_CELL_COUNT);
/seL4-test-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c42 assert(allocman);
44 assert(!error);
49 assert(reservation);
53 assert(!error);
63 assert(allocman);
70 assert(!error);
73 assert(!error);
84 assert(allocman);
87 assert(!error);
95 assert(!erro
[all...]
/seL4-test-master/kernel/src/object/
H A Dreply.c13 assert(tcb_caller != NULL);
14 assert(reply != NULL);
15 assert(reply->replyTCB == NULL);
17 assert(call_stack_get_callStackPtr(reply->replyPrev) == 0);
18 assert(call_stack_get_callStackPtr(reply->replyNext) == 0);
21 assert(thread_state_get_replyObject(tcb_caller->tcbState) == 0);
37 assert(old_caller == NULL ||
56 assert(reply != NULL);
57 assert(thread_state_get_tsType(reply->replyTCB->tcbState) == ThreadState_BlockedOnReply);
58 assert(thread_state_get_replyObjec
[all...]
/seL4-test-master/tools/nanopb/tests/common/
H A Dmalloc_wrappers.c3 #include <assert.h>
23 assert(buf[1] == 0xDEADBEEF);
24 assert(buf[buf[0] - 1] == 0xBADBAD);
45 assert(alloc_count > 0);
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/arch/arm/
H A Darch.c32 assert(error == seL4_NoError);
35 assert(iospace != seL4_CapNull);
37 assert(slot != seL4_CapNull);
43 assert((ret.end - ret.start) + 1 == num_iospace_caps);
/seL4-test-master/projects/seL4_libs/libsel4debug/src/sel4_arch/ia32/
H A Dstack_trace.c15 #include <assert.h>
22 assert(ret); \
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dclock.h15 #include <assert.h>
45 assert(clk);
52 assert(clk);
53 assert(clk->init);
60 assert(clk);
61 assert(clk->recal);
/seL4-test-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dsem-bare.h22 #include <assert.h>
35 assert(debug_cap_is_endpoint(ep));
37 assert(value != NULL);
86 assert(debug_cap_is_endpoint(ep));
88 assert(value != NULL);
92 assert(*value < INT_MAX);
/seL4-test-master/projects/seL4_libs/libsel4sync/src/
H A Drecursive_mutex.c16 #include <assert.h>
37 assert(debug_cap_is_notification(notification));
59 assert(mutex->owner == NULL);
61 assert(mutex->held == 0);
80 assert(mutex->owner == thread_id());
81 assert(mutex->held > 0);
/seL4-test-master/projects/util_libs/libutils/src/
H A Dlist.c13 #include <assert.h>
22 assert(l != NULL);
57 assert(l != NULL);
63 assert(l != NULL);
74 assert(l != NULL);
84 assert(l != NULL);
96 assert(l != NULL);
109 assert(l != NULL);
134 assert(l != NULL);
152 assert(
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dio.h17 #include <assert.h>
85 assert(io_mapper);
86 assert(io_mapper->io_map_fn);
95 assert(io_mapper);
96 assert(io_mapper->io_unmap_fn);
144 assert(port_ops);
145 assert(port_ops->io_port_in_fn);
155 assert(port_ops);
156 assert(port_ops->io_port_out_fn);
260 assert(dma_ma
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dboot.c46 assert(!err);
53 assert(!err);
57 assert(!err);
59 assert(err == seL4_NoError);
62 assert(!err);
78 assert(!err);
80 assert(!err);
88 assert(!err);
92 assert(!err);
96 assert(!er
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/
H A Ddebug.h8 #include <assert.h>
54 assert(reg < X86_DEBUG_BP_N_REGS);
74 assert(reg < X86_DEBUG_BP_N_REGS);
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Ddebug.h9 #include <assert.h>
55 assert(reg < X86_DEBUG_BP_N_REGS);
75 assert(reg < X86_DEBUG_BP_N_REGS);

Completed in 279 milliseconds

1234567891011>>