Introduction   API Reference   Files   Index  

compiler.h File Reference

L4 compiler defines. More...

#include <l4/sys/linkage.h>

Go to the source code of this file.

Defines

#define EXTERN_C_BEGIN
 L4 Inline function attribute.
#define EXTERN_C_END
 End section with C types and functions.
#define EXTERN_C
 Mark C types and functions.
#define L4_NORETURN
 Noreturn function attribute.
#define L4_NOINSTRUMENT
 No instrumentation function attribute.
#define EXPECT_TRUE(x)   __builtin_expect((x),1)
 Expression is likely to execute.
#define EXPECT_FALSE(x)   __builtin_expect((x),0)
 Expression is unlikely to execute.
#define L4_STICKY(x)   __attribute__((unused)) x
 Mark symbol sticky (even not there).
#define L4_DEPRECATED
 Mark symbol deprecated.
#define L4_stringify_helper(x)   #x
 stringify helper
#define L4_stringify(x)   L4_stringify_helper(x)
 stringify


Detailed Description

L4 compiler defines.

Definition in file compiler.h.


Fiasco/L4 System Call C-Bindings Reference Manual,  © 1996-2008