Fiasco/L4 System Call C-Bindings Reference Manual

- a -

asm_enter_kdebug : kdebug.h

- e -

enter_kdebug : kdebug.h
EXPECT_FALSE : compiler.h
EXPECT_TRUE : compiler.h
EXTERN_C : compiler.h
EXTERN_C_BEGIN : compiler.h
EXTERN_C_END : compiler.h

- g -

GCC_VERSION : ARCH-amd64/L4API-l4v2/ipc.h , ARCH-x86/L4API-l4v2/syscalls.h , ARCH-x86/L4API-l4v2/ipc.h , ARCH-amd64/L4API-l4v2/syscalls.h

- k -

kd_display : kdebug.h
ko : kdebug.h

- l -

L4_DEPRECATED : compiler.h
L4_FP_ALL_SPACES : syscalls_gen.h
L4_FP_FLUSH_PAGE : syscalls_gen.h
L4_FP_OTHER_SPACES : syscalls_gen.h
L4_FP_REMAP_PAGE : syscalls_gen.h
L4_INVALID_ID : ARCH-x86/L4API-l4v2/types.h
L4_INVALID_ID_INIT : ARCH-x86/L4API-l4v2/types.h
L4_INVALID_KQUOTA : types.h
L4_INVALID_SCHED_PARAM : ARCH-x86/L4API-l4v2/types.h
L4_IPC_BOTH_TIMEOUT_0 : __timeout.h
L4_IPC_CAPMAPMSG : L4API-l4v2/ipc.h
L4_IPC_CAPMAPMSG_BASE : ARCH-amd64/L4API-l4v2/ipc.h , ARCH-arm/L4API-l4v2/ipc.h , ARCH-x86/L4API-l4v2/ipc.h
L4_IPC_DECEIT : L4API-l4v2/ipc.h
L4_IPC_DECEIT_MASK : L4API-l4v2/ipc.h
L4_IPC_DOPE : L4API-l4v2/ipc.h
L4_IPC_DWORD_SHIFT : L4API-l4v2/ipc.h
L4_IPC_ENOT_EXISTENT : L4API-l4v2/ipc.h
L4_IPC_ERROR : L4API-l4v2/ipc.h
L4_IPC_ERROR_MASK : L4API-l4v2/ipc.h
L4_IPC_FLAG_NEXT_PERIOD : L4API-l4v2/ipc.h
L4_IPC_FPAGE_MASK : L4API-l4v2/ipc.h
L4_IPC_IOMAPMSG : L4API-l4v2/ipc.h
L4_IPC_IOMAPMSG_BASE : ARCH-amd64/L4API-l4v2/ipc.h , ARCH-x86/L4API-l4v2/ipc.h
L4_IPC_IS_ERROR : L4API-l4v2/ipc.h
L4_IPC_MAPMSG : L4API-l4v2/ipc.h
L4_IPC_MSG_DECEITED : L4API-l4v2/ipc.h
L4_IPC_MSG_REDIRECTED : L4API-l4v2/ipc.h
L4_IPC_NEVER : __timeout.h
L4_IPC_NEVER_INITIALIZER : __timeout.h
L4_IPC_NIL_DESCRIPTOR : L4API-l4v2/ipc.h
L4_IPC_OPEN_IPC : L4API-l4v2/ipc.h
L4_IPC_REABORTED : L4API-l4v2/ipc.h
L4_IPC_RECANCELED : L4API-l4v2/ipc.h
L4_IPC_RECV_TIMEOUT_0 : __timeout.h
L4_IPC_REDIRECT_MASK : L4API-l4v2/ipc.h
L4_IPC_REMAPFAILED : L4API-l4v2/ipc.h
L4_IPC_REMSGCUT : L4API-l4v2/ipc.h
L4_IPC_RERCVPFTO : L4API-l4v2/ipc.h
L4_IPC_RESNDPFTO : L4API-l4v2/ipc.h
L4_IPC_RETIMEOUT : L4API-l4v2/ipc.h
L4_IPC_SEABORTED : L4API-l4v2/ipc.h
L4_IPC_SECANCELED : L4API-l4v2/ipc.h
L4_IPC_SEMAPFAILED : L4API-l4v2/ipc.h
L4_IPC_SEMSGCUT : L4API-l4v2/ipc.h
L4_IPC_SEND_TIMEOUT_0 : __timeout.h
L4_IPC_SERCVPFTO : L4API-l4v2/ipc.h
L4_IPC_SESNDPFTO : L4API-l4v2/ipc.h
L4_IPC_SETIMEOUT : L4API-l4v2/ipc.h
L4_IPC_SHORT_FPAGE : L4API-l4v2/ipc.h
L4_IPC_SHORT_MSG : L4API-l4v2/ipc.h
L4_IPC_SHORT_MSG_NODONATE : L4API-l4v2/ipc.h
L4_IPC_SND_ERR_MASK : L4API-l4v2/ipc.h
L4_IPC_SND_ERROR : L4API-l4v2/ipc.h
L4_IPC_SRC_INSIDE : L4API-l4v2/ipc.h
L4_IPC_SRC_MASK : L4API-l4v2/ipc.h
L4_IPC_STRING_SHIFT : L4API-l4v2/ipc.h
L4_IPC_TIMEOUT_0 : __timeout.h
L4_IPC_TIMEOUT_NEVER : __timeout.h
L4_KERNEL_INFO_MAGIC : kernel.h
L4_LOG2_PAGESIZE : consts.h
L4_LOG2_SUPERPAGESIZE : consts.h
L4_MAX_ADDRESS : consts.h
L4_MWORD_BITS : l4int.h
L4_NC_INNER_CLAN : syscalls_gen.h
L4_NC_OUTER_CLAN : syscalls_gen.h
L4_NC_SAME_CLAN : syscalls_gen.h
L4_NIL_ID : ARCH-x86/L4API-l4v2/types.h
L4_NIL_ID_INIT : ARCH-x86/L4API-l4v2/types.h
L4_NOINSTRUMENT : compiler.h
L4_NORETURN : compiler.h
L4_PAGEMASK : consts.h
L4_PAGESHIFT : ARCH-x86/consts.h , ARCH-arm/consts.h , ARCH-amd64/consts.h
L4_PAGESIZE : consts.h
l4_round_page : consts.h
l4_round_superpage : consts.h
L4_SMALL_SPACE : ARCH-x86/L4API-l4v2/types.h
L4_STICKY : compiler.h
L4_stringify : compiler.h
L4_stringify_helper : compiler.h
L4_SUPERPAGEMASK : consts.h
L4_SUPERPAGESHIFT : ARCH-x86/consts.h , ARCH-arm/consts.h , ARCH-amd64/consts.h
L4_SUPERPAGESIZE : consts.h
L4_SYSCALL : ARCH-amd64/L4API-l4v2/syscalls.h
L4_SYSCALL_fpage_unmap : ARCH-amd64/L4API-l4v2/syscalls.h
L4_SYSCALL_id_nearest : ARCH-amd64/L4API-l4v2/syscalls.h
L4_SYSCALL_lthread_ex_regs : ARCH-amd64/L4API-l4v2/syscalls.h
L4_SYSCALL_privctrl : ARCH-amd64/L4API-l4v2/syscalls.h
L4_SYSCALL_task_new : ARCH-amd64/L4API-l4v2/syscalls.h
L4_SYSCALL_thread_schedule : ARCH-amd64/L4API-l4v2/syscalls.h
L4_SYSCALL_thread_switch : ARCH-amd64/L4API-l4v2/syscalls.h
l4_trunc_page : consts.h
l4_trunc_superpage : consts.h
LOG_EVENT_CONTEXT_SWITCH : ktrace.h
LOG_EVENT_ID_NEAREST : ktrace.h
LOG_EVENT_IPC_SHORTCUT : ktrace.h
LOG_EVENT_IRQ_RAISED : ktrace.h
LOG_EVENT_MAX_EVENTS : ktrace.h
LOG_EVENT_PF_RES : ktrace.h
LOG_EVENT_PREEMPTION : ktrace.h
LOG_EVENT_SCHED : ktrace.h
LOG_EVENT_TASK_NEW : ktrace.h
LOG_EVENT_THREAD_EX_REGS : ktrace.h
LOG_EVENT_TIMER_IRQ : ktrace.h
LOG_EVENT_TRAP : ktrace.h

- n -

NULL : consts.h

- t -

TASK_MASK : ARCH-x86/L4API-l4v2/types.h