Loading...
Searching...
No Matches
sys Directory Reference
Directory dependency graph for sys:

## Directories

| cxx

## Files

| __kernel_object_impl.h
| __ktrace-impl.h
| L4 kernel event tracing.
| __l4_fpage.h
| __platform_control-arm.h
| __task-arm.h
| __timeout.h
| __typeinfo.h
| Type information handling.
| __vcpu-arm.h
| __vm-arm.h
| Virtualization interface.
| __vm-svm.h
| __vm-vmx.h
| arm_smccc
| ARM secure monitor call functions.
| arm_smccc.h
| ARM secure monitor call functions.
| assert.h
| Low-level assert implementation.
| cache.h
| Cache-consistency functions.
| capability
| L4::Cap related definitions.
| compiler.h
| L4 compiler related defines.
| consts.h
| Common constants.
| debugger
| The debugger interface specifies common debugging related definitions.
| debugger.h
| Debugger related definitions.
| err.h
| Error codes.
| exception
| Exception C++ interface.
| factory
| Common factory related definitions.
| factory.h
| Common factory related definitions.
| icu
| Interrupt controller.
| icu.h
| Interrupt controller.
| iommu
| ipc.h
| Common IPC interface.
| ipc_gate
| The C++ IPC gate interface.
| ipc_gate.h
| The C IPC gate interface, see L4::Ipc_gate for the C++ interface.
| irq
| C++ Irq interface.
| irq.h
| C Irq interface.
| kdebug.h
| Functionality for invoking the kernel debugger.
| kdump.h
| Functionality for dumping kernel information.
| kernel_object.h
| Kernel object system calls.
| kip
| kip.h
| Kernel Info Page access functions.
| kobject
| ktrace.h
| L4 kernel event tracing.
| l4int.h
| Fixed sized integer types, generic version.
| memdesc.h
| Memory description functions.
| meta
| Meta interface for getting dynamic type information about objects behind capabilities.
| obj_info.h
| Debugger related functions.
| pager
| Pager and Io_pager C++ interface.
| platform_control
| Platform control object.
| platform_control.h
| Platform control object.
| rcv_endpoint
| The C++ Receive endpoint interface.
| rcv_endpoint.h
| Receive endpoint C interface.
| scheduler
| Scheduler object functions.
| scheduler.h
| Scheduler object functions.
| semaphore
| Semaphore class definition.
| semaphore.h
| C semaphore interface.
| smart_capability
| L4::Capability class.
| snd_destination
| The C++ Sender destination interface.
| snd_destination.h
| Sender destination endpoint C interface.
| task
| Common task related definitions.
| task.h
| Common task related definitions.
| thread
| Common thread related definitions.
| thread.h
| Common thread related definitions.
| thread_group
| thread_group.h
| typeinfo_svr
| Type information server template.
| types.h
| Common L4 ABI Data Types.
| utcb.h
| UTCB definitions.
| vcon
| C++ Virtual console interface.
| vcon.h
| Virtual console interface.
| vcpu.h
| vCPU API
| vcpu_context
| Hardware vCPU context interface.
| vcpu_context.h
| vm
| Virtualization interface.