Searched refs:__assert_fail (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dassert.h19 void __assert_fail(const char *str, const char *file, int line, const char *function);
25 #define seL4_Fail(s) __assert_fail(s, __FILE__, __LINE__, __func__)
32 do { if (!(expr)) { __assert_fail(#expr, __FILE__, __LINE__, __FUNCTION__); } } while(0)
/seL4-camkes-master/projects/musllibc/include/
H A Dassert.h8 #define assert(x) ((void)((x) || (__assert_fail(#x, __FILE__, __LINE__, __func__),0)))
19 _Noreturn void __assert_fail (const char *, const char *, int, const char *);
/seL4-camkes-master/projects/musllibc/src/exit/
H A Dassert.c4 _Noreturn void __assert_fail(const char *expr, const char *file, int line, const char *func) function
/seL4-camkes-master/tools/rumprun/platform/sel4/camkes/
H A Dcamkes_link.sh.in32 @cl_tools_objcopy@ -w -G "bmk_*" -G "rumpuser_*" -G "jsmn_*" -G __assert_fail \
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Drumprunlibs.mk66 BASEFILE_OBJCOPY = ${OBJCOPY} -w -G "bmk_*" -G "rumpuser_*" -G "jsmn_*" -G __assert_fail \

Completed in 88 milliseconds