/seL4-refos-master/kernel/libsel4/include/sel4/ |
H A D | assert.h | 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 D | assert.h | 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/libsel4utils/include/sel4utils/ |
H A D | strerror.h | 14 #define sel4_error(e, str) ((e == seL4_NoError) ? (void)0 : __sel4_error(e, __FILE__, __func__, __LINE__, str))
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | strerror.h | 14 #define sel4_error(e, str) ((e == seL4_NoError) ? (void)0 : __sel4_error(e, __FILE__, __func__, __LINE__, str))
|
/seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | macros.h | 53 #define sel4test_report_error(x) _sel4test_report_error(x, __FILE__, __LINE__) 58 #define sel4test_failure(x) _sel4test_failure(x, __FILE__, __LINE__)
|
H A D | test.h | 215 return _test_fail(#e, __FILE__, __LINE__); \ 217 #define test_assert(e) if (!(e)) return _test_fail(#e, __FILE__, __LINE__) 218 #define test_check(e) if (!(e)) _test_error(#e, __FILE__, __LINE__) 219 #define test_assert_fatal(e) if (!(e)) return _test_abort(#e, __FILE__, __LINE__) 230 _test_error(buffer, __FILE__, __LINE__); \ 244 _test_error(buffer, __FILE__, __LINE__);\ 262 _test_error("Cannot use test_op on this type", __FILE__, __LINE__);\ 279 _test_error("String " #a " too long for test_str* macros", __FILE__, __LINE__);\ 281 _test_error("String " #b " too long for test_str* macros", __FILE__, __LINE__);\ 286 _test_error(buffer, __FILE__, __LINE_ [all...] |
/seL4-refos-master/kernel/include/ |
H A D | assert.h | 21 #define fail(s) _fail(s, __FILE__, __LINE__, __func__) 31 if(!(expr)) _assert_fail(#expr, __FILE__, __LINE__, __FUNCTION__)
|
/seL4-refos-master/libs/libmuslc/include/ |
H A D | assert.h | 8 #define assert(x) ((void)((x) || (__assert_fail(#x, __FILE__, __LINE__, __func__),0)))
|
/seL4-refos-master/libs/librefos/include/refos/ |
H A D | test.h | 83 #define test_assert(e) if (!(e)) return test_fail(#e, __FILE__, __func__, __LINE__)
|
H A D | error.h | 169 printf("REFOS call generated error in file %s line %d", __FILE__, __LINE__);\
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | global.h | 286 # ifndef __FILE__ 287 # define __FILE__ "" macro 292 # define alloc(a) nhalloc(a,__FILE__,(int)__LINE__) 293 # define free(a) nhfree(a,__FILE__,(int)__LINE__)
|
H A D | winX.h | 268 window, __FILE__, __LINE__); \
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/ |
H A D | test.h | 83 #define test_assert(e) if (!(e)) return test_fail(#e, __FILE__, __func__, __LINE__)
|
H A D | error.h | 169 printf("REFOS call generated error in file %s line %d", __FILE__, __LINE__);\
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | global.h | 286 # ifndef __FILE__ 287 # define __FILE__ "" macro 292 # define alloc(a) nhalloc(a,__FILE__,(int)__LINE__) 293 # define free(a) nhfree(a,__FILE__,(int)__LINE__)
|
H A D | winX.h | 268 window, __FILE__, __LINE__); \
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | delay.c | 69 printf("%s:%d - Unable to determine CPU frequency for delay loop\n", __FILE__, __LINE__);
|
/seL4-refos-master/libs/libplatsupport/src/arch/x86/ |
H A D | delay.c | 48 __FILE__, __LINE__);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | delay.c | 69 printf("%s:%d - Unable to determine CPU frequency for delay loop\n", __FILE__, __LINE__);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/ |
H A D | delay.c | 48 __FILE__, __LINE__);
|
/seL4-refos-master/projects/util_libs/liblwip/include/lwip/arch/ |
H A D | cc.h | 68 x, __LINE__, __FILE__); \
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | zf_log.h | 298 _zf_log_write_d(__FUNCTION__, __FILE__, __LINE__, \ 304 _zf_log_write_mem_d(__FUNCTION__, __FILE__, __LINE__, \
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | zf_log.h | 298 _zf_log_write_d(__FUNCTION__, __FILE__, __LINE__, \ 304 _zf_log_write_mem_d(__FUNCTION__, __FILE__, __LINE__, \
|