55 #ifndef L4UTIL_THREAD_FUNC 72 #define __L4UTIL_THREAD_FUNC(name) void L4_NORETURN name(void) 73 #define L4UTIL_THREAD_FUNC(name) __L4UTIL_THREAD_FUNC(name) 74 #define __L4UTIL_THREAD_STATIC_FUNC(name) static L4_NORETURN void name(void) 75 #define L4UTIL_THREAD_STATIC_FUNC(name) __L4UTIL_THREAD_STATIC_FUNC(name) Common L4 ABI Data Types.
#define EXTERN_C_END
End section with C types and functions.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Scheduler object functions.
unsigned long l4_umword_t
Unsigned machine word.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define L4_CV
Define calling convention.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.