L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
Data Structure Index
A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | R | S | T | U | V | W | _
A
Alloc_list (L4)
Arm_smccc (L4)
Array (L4::Ipc)
Array_in_buf (L4::Ipc)
Array_ref (L4::Ipc)
As_value (L4::Ipc)
Thread::Attr (L4)
Virtqueue::Avail (L4virtio)
Avl_map (cxx)
Avl_map_get_key (cxx::Bits)
Avl_set (cxx)
Avl_set_get_key (cxx::Bits)
Avl_tree (cxx)
Avl_tree_node (cxx)
B
Bad_descriptor (L4virtio::Svr)
Base_avl_set (cxx::Bits)
Base_exception (L4)
Base_slab (cxx)
Base_slab_static (cxx)
Basic_list (cxx::Bits)
Basic_registry (L4)
Be_file (L4Re::Vfs)
Be_file_system (L4Re::Vfs)
Bitmap_base::Bit (cxx)
Bitfield (cxx)
Bitmap (cxx)
Bitmap_base (cxx)
Block_dev_base (L4virtio::Svr)
Block_device (L4virtio::Driver)
Block_request (L4virtio::Svr)
Bool (L4::Types)
Bounds_error (L4)
Br_manager (L4Re::Util)
Br_manager_hooks (L4Re::Util)
Br_manager_no_buffers (L4::Ipc_svr)
Br_manager_timeout_hooks (L4Re::Util)
Bst (cxx::Bits)
Bst_node (cxx::Bits)
Buf_item (L4::Ipc)
C
Call (L4::Ipc)
Call_t (L4::Ipc)
Call_zero_send_timeout (L4::Ipc)
Cap (L4)
Cap (L4::Ipc)
Cap_alloc (L4Re)
Cap_alloc_base (L4Re::Util)
Cap_base (L4)
Bitmap_base::Char (cxx)
Clnt_val_ops (L4::Ipc::Msg)
Cls_buffer (L4::Ipc::Msg)
Cls_data (L4::Ipc::Msg)
Cls_item (L4::Ipc::Msg)
Cmd_control (L4Re::Ned)
Color_component (L4Re::Video)
Com_error (L4)
Compound_reply (L4::Ipc_svr)
Console (L4Re)
Counter (L4Re::Util)
Counter_atomic (L4Re::Util)
Counting_cap_alloc (L4Re::Util)
D
Data_buffer (L4virtio::Svr)
Dataspace (L4Re)
Dataspace_svr (L4Re::Util)
Debug_obj (L4Re)
Debugger (L4)
Default_event_payload (L4Re)
Default_loop_hooks (L4::Ipc_svr)
Default_setup_wait (L4::Ipc_svr)
Default_timeout (L4::Ipc_svr)
Type_info::Demand (L4)
Type_info::Demand_t (L4)
Type_info::Demand_union_t (L4)
Virtqueue::Desc (L4virtio)
Dev_config (L4virtio::Svr)
Dev_features (L4virtio::Svr)
Dev_status (L4virtio::Svr)
Device (L4virtio::Driver)
Device (L4vbus)
Device (L4virtio)
Device_discard_feature (Block_device)
Device_mgr (Block_device)
Device_t (L4virtio::Svr)
Dir_in (L4::Ipc::Msg)
Dir_out (L4::Ipc::Msg)
Direct_dispatch (L4::Ipc_svr)
Direct_dispatch< R * > (L4::Ipc_svr)
Direction (cxx::Bits)
Directory (L4Re::Vfs)
Dma_region_info (Block_device)
Dma_space (L4Re)
Do_in_data (L4::Ipc::Msg)
Do_in_items (L4::Ipc::Msg)
Do_out_data (L4::Ipc::Msg)
Do_out_items (L4::Ipc::Msg)
Do_rcv_buffers (L4::Ipc::Msg)
Driver_mem_list_t (L4virtio::Svr)
Driver_mem_region_t (L4virtio::Svr)
E
Elem< Array< A, LEN > & > (L4::Ipc::Msg)
Elem< Array< A, LEN > > (L4::Ipc::Msg)
Elem< Array_ref< A, LEN > & > (L4::Ipc::Msg)
Element_already_exists (L4)
Element_not_found (L4)
Elf32_Auxv
Elf32_Dyn
Elf32_Ehdr
Elf32_Phdr
Elf32_Rel
Elf32_Rela
Elf32_Shdr
Elf32_Sym
Elf64_Auxv
Elf64_Dyn
Elf64_Ehdr
Elf64_Phdr
Elf64_Rel
Elf64_Rela
Elf64_Shdr
Elf64_Sym
Env (L4Re)
Epiface (L4)
Epiface_t (L4)
Epiface_t0 (L4)
Errand (Block_device::Errand)
Event (L4Re)
Event_buffer_t::Event (L4Re)
Event_buffer_consumer_t (L4Re::Util)
Event_buffer_t (L4Re)
Event_buffer_t (L4Re::Util)
Event_svr (L4Re::Util)
Event_t (L4Re::Util)
Exc_dispatch (L4::Ipc_svr)
Exception (L4)
Exception_tracer (L4)
F
Rpcs_code::F (L4::Typeid)
Dataspace::F (L4Re)
Rm::F (L4Re)
Factory (L4)
False (L4::Types)
File (L4Re::Vfs)
File_system (L4Re::Vfs)
Flags (L4::Types)
Virtqueue::Avail::Flags (L4virtio)
Virtqueue::Desc::Flags (L4virtio)
Virtqueue::Used::Flags (L4virtio)
Flags_ops_t (L4::Types)
Flags_t (L4::Types)
Fs (L4Re::Vfs)
G
Gen_fpage (L4::Ipc)
Generic_file (L4Re::Vfs)
gfxbitmap_offset
Goos (L4Re::Video)
Goos_svr (L4Re::Util::Video)
Gpio_module (L4vbus)
Gpio_pin (L4vbus)
H
H_list (cxx)
H_list_item_t (cxx)
H_list_t (cxx)
Block_device::Handle (L4virtio::Driver)
Virtqueue::Head_desc (L4virtio::Svr)
I
Icu (L4vbus)
Icu (L4)
Ignore_errors (L4::Ipc_svr)
In_out (L4::Ipc)
View::Info (L4Re::Video)
Icu::Info (L4)
Goos::Info (L4Re::Video)
Inhibitor (L4Re)
Inout_block (Block_device)
Inout_memory (Block_device)
Int_for_size (L4::Types)
Int_for_type (L4::Types)
Invalid_capability (L4)
Io_pager (L4)
Iommu (L4)
IOModifier (L4)
Iostream (L4::Ipc)
Ipc_gate (L4)
Irq (L4)
Irq_eoi (L4)
Irq_handler_object (L4)
Irq_mux (L4)
Irqep_t (L4)
Is_valid_rpc_type (L4::Ipc::Msg)
Istream (L4::Ipc)
Item_alloc_base (L4Re::Util)
List_item::Iter (cxx)
List::Iter (cxx)
Varg_list_ref::Iterator (L4::Ipc)
K
Kobject (L4)
Kobject_2t (L4)
Kobject_3t (L4)
Kobject_demand (L4)
Kobject_t (L4)
Kobject_typeid (L4)
Kobject_typeid< void > (L4)
Kobject_x (L4)
L
l4_buf_regs_t
l4_exc_regs_t
l4_fpage_t
l4_icu_info_t
l4_icu_msi_info_t
l4_kernel_info_mem_desc_t
l4_kernel_info_t
l4_msg_regs_t
l4_msgtag_t
l4_sched_cpu_set_t
l4_sched_param_t
l4_snd_fpage_t
l4_thread_regs_t
l4_timeout_s
l4_timeout_t
l4_vcon_attr_t
l4_vcpu_arch_state_t
l4_vcpu_ipc_regs_t
l4_vcpu_regs_t
l4_vcpu_state_t
l4_vhw_descriptor
l4_vhw_entry
l4_vm_svm_vmcb_control_area
l4_vm_svm_vmcb_state_save_area
l4_vm_svm_vmcb_state_save_area_seg
l4_vm_svm_vmcb_t
l4_vm_tz_state
l4re_aux_t
l4re_ds_stats_t
l4re_elf_aux_mword_t
l4re_elf_aux_t
l4re_elf_aux_vma_t
l4re_env_cap_entry_t
l4re_env_t
l4re_event_t
l4re_video_color_component_t
l4re_video_goos_info_t
l4re_video_pixel_info_t
l4re_video_view_info_t
l4re_video_view_t
l4shmc_ringbuf_head_t
l4shmc_ringbuf_t
l4util_idt_desc_t
l4util_idt_header_t
l4util_l4mod_info
l4util_l4mod_mod
l4util_mb_addr_range_t
l4util_mb_apm_t
l4util_mb_drive_t
l4util_mb_info_t
l4util_mb_mod_t
l4util_mb_vbe_ctrl_t
l4util_mb_vbe_mode_t
l4vbus_device_t
l4vbus_resource_t
l4virtio_block_config_t
l4virtio_block_discard_t
l4virtio_block_header_t
l4virtio_config_hdr_t
l4virtio_config_queue_t
l4virtio_input_absinfo_t
l4virtio_input_config_t
l4virtio_input_devids_t
l4virtio_input_event_t
l4virtio_net_config_t
l4virtio_net_header_t
List (cxx)
List_alloc (cxx)
List_item (cxx)
Log (L4Re)
Factory::Lstr (L4)
Lt_functor (cxx)
M
Mem_alloc (L4Re)
Mem_desc (L4::Kip)
Mem_region_info (Block_device)
Meta (L4)
Mman (L4Re::Vfs)
Mmio_register_block (L4drivers)
Mmio_space (L4Re)
Thread::Modify_senders (L4)
Msg_ptr (L4::Ipc)
N
Name (L4Re::Util::Names)
Name_space (L4Re::Util::Names)
Namespace (L4Re)
New_allocator (cxx)
Factory::Nil (L4)
Base_avl_set::Node (cxx::Bits)
Nothrow (cxx)
O
Object_registry (L4Re::Util)
Ops (L4Re::Vfs)
Opt (L4::Ipc)
Ostream (L4::Ipc)
Out (L4::Ipc)
Out_of_memory (L4)
Pending_request::Owner (Block_device)
P
P_dispatch (L4::Typeid)
Virtio_net_device::Packet (L4virtio::Driver)
Pager (L4)
Pair (cxx)
Pair_first_compare (cxx)
Parent (L4Re)
Partition_info (Block_device)
Partition_reader (Block_device)
Partitioned_device (Block_device)
Partitioned_device_discard_mixin (Block_device::Impl)
Partitioned_device_discard_mixin< PART_DEV, BASE_DEV, true > (Block_device::Impl)
Pci_dev (L4vbus)
Pci_host_bridge (L4vbus)
Pending_request (Block_device)
Gpio_module::Pin_slice (L4vbus)
Pixel_info (L4Re::Video)
Platform_control (L4)
Pm (L4vbus)
Poll_errand (Block_device::Errand)
Poll_timeout_counter (L4)
Poll_timeout_kipclock (L4)
Proto_t (L4)
Ptr (L4virtio)
R
Random (L4Re)
Rm::Range (L4Re)
Raw_ipc (L4::Typeid)
Rcv_endpoint (L4)
Ref_cap (L4Re::Util)
Ref_del_cap (L4Re::Util)
Ref_obj_list_item (cxx)
Ref_ptr (cxx)
Register_block (L4drivers)
Register_block_base (L4drivers)
Register_block_impl (L4drivers)
Register_block_tmpl (L4drivers)
Register_tmpl (L4drivers)
Registry_iface (L4)
Registry_server (L4Re::Util)
Regular_file (L4Re::Vfs)
Request_processor (L4virtio::Svr)
Ret_array (L4::Ipc)
Rm (L4Re)
Ro_register_block (L4drivers)
Ro_register_tmpl (L4drivers)
_Rpcs< OPCODE, O, Default_op< R > >::Rpc (L4::Typeid::Detail)
_Rpcs< OPCODE, O, R, X... >::Rpc (L4::Typeid::Detail)
Rpc_nocode (L4::Typeid)
Rpcs (L4::Typeid)
Rpcs_code (L4::Typeid)
Rpcs_end (L4::Typeid::Detail)
Rpcs_sys (L4::Typeid)
Runtime_error (L4)
S
Factory::S (L4)
S_list (cxx)
Same (L4::Types)
Scheduler (L4)
Semaphore (L4)
Send_only (L4::Ipc)
Server (L4)
Server_iface (L4::Ipc_svr)
Server_object (L4)
Server_object_t (L4)
Server_object_x (L4)
Simple_request_queue (Block_device)
Slab (cxx)
Base_slab::Slab_i (cxx)
Slab_static (cxx)
Small_buf (L4::Ipc)
Smart_cap (L4)
Smart_cap_auto (L4Re::Util)
Smart_cap_auto (L4Re)
Smart_count_cap (L4Re::Util)
Smart_count_cap (L4Re)
Smart_ptr_list (cxx::Bits)
Smart_ptr_list_item (cxx::Bits)
Snd_item (L4::Ipc)
Special_file (L4Re::Vfs)
State (L4vcpu)
static_vector (cxx)
Dataspace::Stats (L4Re)
Str_cp_in (L4::Ipc)
String (L4)
String (cxx)
Svr_arg_pack (L4::Ipc::Msg)
Svr_val_ops (L4::Ipc::Msg)
T
List_item::T_iter (cxx)
Task (L4)
Thread (L4)
Timeout (L4::Ipc_svr)
Timeout_queue (L4::Ipc_svr)
Timeout_queue_hooks (L4::Ipc_svr)
Triggerable (L4)
True (L4::Types)
Type_info (L4)
U
Uart (L4)
Rm::Unique_region (L4Re)
Unknown_error (L4)
Virtqueue::Used (L4virtio)
Virtqueue::Used_elem (L4virtio)
V
Bitfield::Value (cxx)
Bitfield::Value_base (cxx)
Bitfield::Value_unshifted (cxx)
Varg (L4::Ipc)
Varg_list (L4::Ipc)
Varg_list_ref (L4::Ipc)
Vbus (L4vbus)
Vcon (L4)
Vcon_svr (L4Re::Util)
Vcpu (L4vcpu)
View (L4Re::Video)
Virtio_net_device (L4virtio::Driver)
Virtqueue (L4virtio::Driver)
Virtqueue (L4virtio::Svr)
Virtqueue (L4virtio)
Vm (L4)
W
Weak_ref (cxx)
Weak_ref_base (cxx)
Bitmap_base::Word (cxx)
_
_Rpcs (L4::Typeid::Detail)
_Rpcs< OPCODE, O, R, X... > (L4::Typeid::Detail)