| __l4_fpage-32bit.h [code] | Fpage definitions for 32bit systems |
| __l4_fpage-64bit.h [code] | Fpage definitions for 64bit systems |
| __l4_fpage-common.h [code] | Common fpage definitions |
| __timeout.h [code] | Timeout definitions |
| cache.h [code] | Cache functions |
| ARCH-arm/cache.h [code] | Cache functions |
| compiler.h [code] | L4 compiler defines |
| consts.h [code] | Common constants |
| ARCH-amd64/consts.h [code] | Common L4 constants, amd64 version |
| ARCH-arm/consts.h [code] | Common L4 constants, arm version |
| ARCH-x86/consts.h [code] | Common L4 constants, x86 version |
| ipc-impl.h [code] | Common IPC inline implementations |
| L4API-l4v2/ipc.h [code] | Common IPC definitions |
| ARCH-amd64/L4API-l4v2/ipc.h [code] | L4 IPC System Calls, amd64 |
| ARCH-arm/L4API-l4v2/ipc.h [code] | L4 IPC System Calls, ARM |
| ARCH-x86/L4API-l4v2/ipc.h [code] | L4 IPC System Calls, x86 |
| kdebug.h [code] | Kernel debugger macros |
| kernel.h [code] | Kernel Info Page (KIP) |
| ktrace.h [code] | L4 kernel event tracing |
| l4int.h [code] | Fixed sized integer types, x86 version |
| memdesc.h [code] | Memory description functions |
| rt_sched.h [code] | Real-time scheduling include |
| segment.h [code] | Segment handling |
| syscalls-impl.h [code] | Common syscall definitions |
| ARCH-amd64/L4API-l4v2/syscalls.h [code] | L4 System calls (except for IPC) |
| ARCH-arm/L4API-l4v2/syscalls.h [code] | Syscalls for ARM architecture |
| ARCH-x86/L4API-l4v2/syscalls.h [code] | L4 System calls (except for IPC) |
| syscalls_gen.h [code] | Common syscall definitions |
| types.h [code] | Common L4 types |
| ARCH-x86/L4API-l4v2/types.h [code] | L4 kernel API type definitions, L4 v2 version |
| utcb.h [code] | UTCB definitions |
| ARCH-amd64/utcb.h [code] | UTCB definitions for amd64 |
| ARCH-arm/utcb.h [code] | UTCB definitions for ARM |
| ARCH-x86/utcb.h [code] | UTCB definitions for X86 |
| vhw.h [code] | Descriptors for virtual hardware (under UX) |