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

/seL4-refos-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-refos-master/libs/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-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/src/exit/
H A Dassert.c4 _Noreturn void __assert_fail(const char *expr, const char *file, int line, const char *func) function

Completed in 83 milliseconds