Home
last modified time | relevance | path

Searched defs:expr (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/
A Dassert.h30 #define assert(expr) \ argument
41 #define assert(expr) argument
46 #define compile_assert(name, expr) \ argument
52 #define unverified_compile_assert(name, expr) argument
/seL4-master/libsel4/include/sel4/
A Ddebug_assert.h18 #define seL4_DebugAssert(expr) ((void)(0)) argument
27 #define seL4_DebugAssert(expr) seL4_Assert(expr) argument
A Dassert.h31 #define seL4_Assert(expr) \ argument
43 #define seL4_CompileTimeAssert(expr) \ argument
A Dmacros.h49 #define SEL4_COMPILE_ASSERT(name, expr) _Static_assert(expr, #name); argument
51 #define SEL4_COMPILE_ASSERT(name, expr) \ argument

Completed in 5 milliseconds