Searched defs:assert (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-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-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dpage.h29 assert(sel4_page_sizes[i - 1] < sel4_page_sizes[i]); function
/seL4-camkes-master/kernel/include/
H A Dassert.h30 #define assert(expr) \ macro
37 #define assert(expr) macro
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/
H A Dreset.c33 static int tx2_reset_common(void *data, reset_id_t id, bool assert) argument
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h185 assert(counter < sel4bench_get_num_counters()); function
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dmtrap.h65 #define assert(x) ({ if (!(x)) die("assertion failed: %s", #x); }) macro
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/
H A Dbusdev_user.c28 #define assert bmk_assert macro

Completed in 63 milliseconds