L4Re - L4 Runtime Environment
 All Data Structures Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Data Structures
Here are the data structures with brief descriptions:
[detail level 1234]
oNcxxOur C++ library
oNL4L4 low-level kernel interface
oNL4ReL4 Runtime Environment
oNL4vcpu
oCElf32_DynELF32 dynamic entry
oCElf32_EhdrELF32 header
oCElf32_PhdrELF32 program header
oCElf32_ShdrELF32 section header - figure 1-9, page 1-9
oCElf32_SymELF32 symbol table entry
oCElf64_DynELF64 dynamic entry
oCElf64_EhdrELF64 header
oCElf64_PhdrELF64 program header
oCElf64_ShdrELF64 section header
oCElf64_SymELF64 symbol table entry
oCgfxbitmap_offsetOffsets in pmap[] and bmap[]
oCl4_buf_regs_tEncapsulation of the buffer-registers block in the UTCB
oCl4_exc_regs_tUTCB structure for exceptions
oCl4_fpage_tL4 flexpage type
oCl4_icu_info_tInfo structure for an ICU
oCl4_kernel_info_mem_desc_tMemory descriptor data structure
oCl4_kernel_info_tL4 Kernel Interface Page
oCl4_msg_regs_tEncapsulation of the message-register block in the UTCB
oCl4_msgtag_tMessage tag data structure
oCl4_rt_preemption_tStruct
oCl4_rt_preemption_val32_tStruct
oCl4_rt_preemption_val_tStruct
oCl4_sched_cpu_set_tCPU sets
oCl4_sched_param_tScheduler parameter set
oCl4_snd_fpage_tSend-flex-page types
oCl4_thread_regs_tEncapsulation of the thread-control-register block of the UTCB
oCl4_timeout_sBasic timeout specification
oCl4_timeout_tTimeout pair
oCl4_tracebuffer_status_tTrace buffer status
oCl4_tracebuffer_status_window_tTrace-buffer status window descriptor
oCl4_vcon_attr_tVcon attribute structure
oCl4_vcpu_ipc_regs_tVCPU message registers
oCl4_vcpu_regs_tVCPU registers
oCl4_vcpu_state_tState of a vCPU
oCl4_vhw_descriptorVirtual hardware devices description
oCl4_vhw_entryDescription of a device
oCl4_vm_svm_vmcb_control_areaVMCB structure for SVM VMs
oCl4_vm_svm_vmcb_state_save_areaState save area structure for SVM VMs
oCl4_vm_svm_vmcb_state_save_area_segState save area segment selector struct
oCl4_vm_svm_vmcb_tControl structure for SVM VMs
oCl4_vm_tz_stateState structure for TrustZone VMs
oCl4re_aux_tAuxiliary descriptor
oCl4re_ds_stats_tInformation about the data space
oCl4re_elf_aux_mword_tAuxiliary vector element for a single unsigned data word
oCl4re_elf_aux_tGeneric header for each auxiliary vector element
oCl4re_elf_aux_vma_tAuxiliary vector element for a reserved virtual memory area
oCl4re_env_cap_entry_tEntry in the L4Re environment array for the named inital objects
oCl4re_env_tInitial Environment structure (C version)
oCl4re_event_tEvent structure used in buffer
oCl4re_video_color_component_tColor component structure
oCl4re_video_goos_info_tGoos information structure
oCl4re_video_pixel_info_tPixel_info structure
oCl4re_video_view_info_tView information structure
oCl4re_video_view_tC representation of a goos view
oCl4util_idt_desc_tIDT entry
oCl4util_idt_header_tHeader of an IDT table
oCl4util_mb_addr_range_tINT-15, AX=E820 style "AddressRangeDescriptor" ...with a "size" parameter on the front which is the structure size - 4, pointing to the next one, up until the full buffer length of the memory map has been reached
oCl4util_mb_apm_tAPM BIOS info
oCl4util_mb_drive_tDrive Info structure
oCl4util_mb_info_t
oCl4util_mb_mod_t
oCl4util_mb_vbe_ctrl_tVBE controller information
\Cl4util_mb_vbe_mode_tVBE mode information
L4Re - L4 Runtime Environment