Searched refs:expr (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/include/ |
| A D | assert.h | 30 #define assert(expr) \ argument
32 if (!(expr)) { \
33 _assert_fail(#expr, __FILE__, __LINE__, __FUNCTION__); \
41 #define assert(expr) argument
46 #define compile_assert(name, expr) \ argument
47 typedef int __assert_failed_##name[(expr) ? 1 : -1] UNUSED;
52 #define unverified_compile_assert(name, expr) argument
|
| /seL4-master/libsel4/include/sel4/ |
| A D | assert.h | 31 #define seL4_Assert(expr) \ argument
32 do { if (!(expr)) { __assert_fail(#expr, __FILE__, __LINE__, __FUNCTION__); } } while(0)
43 #define seL4_CompileTimeAssert(expr) \ argument
44 …extern char __seL4_CompileTimeAssertFailed_ ## __COUNTER__[__builtin_constant_p(expr) ? ((expr) ? …
|
| A D | debug_assert.h | 18 #define seL4_DebugAssert(expr) ((void)(0)) argument
27 #define seL4_DebugAssert(expr) seL4_Assert(expr) argument
|
| A D | macros.h | 49 #define SEL4_COMPILE_ASSERT(name, expr) _Static_assert(expr, #name); argument
51 #define SEL4_COMPILE_ASSERT(name, expr) \ argument
52 typedef int __assert_failed_##name[(expr) ? 1 : -1] LIBSEL4_UNUSED;
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 469 expr = param.type.c_expression(param.name)
470 word_array[target_word].append(expr)
475 expr = param.type.c_expression(param.name)
476 expr = "(%s & %#x%s)" % (expr, (1 << num_bits) - 1,
479 expr = "(%s << %d)" % (expr, target_offset)
480 word_array[target_word].append(expr)
487 expr = param.type.c_expression(param.name, i, struct_members(param.type, structs))
488 word_array[target_word + i].append(expr)
|
Completed in 9 milliseconds