Files | |
| file | compiler.h |
| L4 compiler defines. | |
| file | types.h |
| Common L4 types. | |
| file | vhw.h |
| Descriptors for virtual hardware (under UX). | |
| file | consts.h |
| Common constants. | |
| file | utcb.h |
| UTCB definitions. | |
| file | ARCH-amd64/utcb.h |
| UTCB definitions for amd64. | |
| file | ARCH-arm/utcb.h |
| UTCB definitions for ARM. | |
| file | l4int.h |
| Fixed sized integer types, x86 version. | |
| file | ARCH-x86/utcb.h |
| UTCB definitions for X86. | |
| file | kernel.h |
| Kernel Info Page (KIP). | |
| file | ARCH-x86/L4API-l4v2/types.h |
| L4 kernel API type definitions, L4 v2 version. | |
Modules | |
| Unique ids | |
| Flexpages | |
| Fpages. | |
| Message structures / dopes | |
| Timeouts | |
| Scheduling parameter | |
| L4 Kernel Info Page | |
| Common types and defines | |
| Compiler related defines | |
| Virtual hardware devices | |
| Virtual hardware devices, provided by Fiasco-UX. | |
Data Structures | |
| union | l4_quota_desc_t |
| Quota type structure. More... | |
| struct | l4_msgtag_t |
| Message tag for IPC operations. More... | |
Enumerations | |
| enum | l4_msgtag_protocol { L4_MSGTAG_IRQ = -1L, L4_MSGTAG_PAGE_FAULT = -2L, L4_MSGTAG_PREEMPTION = -3L, L4_MSGTAG_SYS_EXCEPTION = -4L, L4_MSGTAG_EXCEPTION = -5L, L4_MSGTAG_SIGMA0 = -6L, L4_MSGTAG_IO_PAGE_FAULT = -8L, L4_MSGTAG_CAP_FAULT = -9L } |
| Message tag for IPC operations. More... | |
| enum l4_msgtag_protocol |
Message tag for IPC operations.
All predefined protocols used by the kernel.