25 #define l4_assert(x) do { } while (0) 26 #define l4_check(x) do { (void)(x); } while (0) 31 #include <l4/sys/thread.h> 43 #define l4_assert(expr) \ 44 l4_assert_fn(expr, __FILE__ ":" L4_stringify(__LINE__) ": Assertion \"" \ 45 L4_stringify(expr) "\" failed.\n") 47 #define l4_check(expr) l4_assert(expr) 53 void l4_assert_fn(
bool expr,
const char *text)
L4_NOTHROW;
59 void l4_assert_abort(
const char *text)
L4_NOTHROW;
65 void l4_assert_abort(
const char *text)
L4_NOTHROW 74 void l4_assert_fn(
bool expr,
const char *text)
L4_NOTHROW 79 l4_assert_abort(text);
l4_msgtag_t l4_thread_ex_regs(l4_cap_idx_t thread, l4_addr_t ip, l4_addr_t sp, l4_umword_t flags) L4_NOTHROW
Exchange basic thread registers.
Invalid capability selector.
#define L4_ALWAYS_INLINE
L4 Inline function attribute.
L4 compiler related defines.
long l4_vcon_write(l4_cap_idx_t vcon, char const *buf, unsigned size) L4_NOTHROW
Write data to virtual console.
#define L4_NORETURN
Noreturn function attribute.
Capability selector for the log object.
#define L4_LIKELY(x)
Expression is likely to execute.
Trigger artificial exception in thread.
Virtual console interface.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.