Loading...
Searching...
No Matches
Data Structure Index

A
  Alloc_list (L4)
  Rm::Area (L4Re)
  Rm::Area
  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_attr_t (L4virtio::Svr::Scmi)
  Base_avl_set (cxx::Bits)
  Base_exception (L4)
  Base_proto (L4virtio::Svr::Scmi)
  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)
  Bitmap_base::Bit (L4Re::Util)
  Bitfield (cxx)
  Bitmap (cxx)
  Bitmap (L4Re::Util)
  Bitmap_base (cxx)
  Bitmap_base (L4Re::Util)
  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)
  Buffer

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)
  Bitmap_base::Char (L4Re::Util)
  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)
  Control_message (L4virtio::Svr::Console)
  Control_request (L4virtio::Svr::Console)
  Counter (L4Re::Util)
  Counter_atomic (L4Re::Util)
  Counting_cap_alloc (L4Re::Util)

D
  Data_buffer (L4virtio::Svr)
  Dataspace (L4Re)
  Dataspace_svr (L4Re::Util)
  Dbg_dispatch (L4::Ipc_svr)
  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 (L4vbus)
  Device (L4virtio)
  Device (L4virtio::Driver)
  Device (L4virtio::Svr::Console)
  Device_port (L4virtio::Svr::Console)
  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_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)
  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)
  Rm::F
  Factory (L4)
  False (L4::Ipc::Msg)
  False (L4::Types)
  Features (L4virtio::Svr::Console)
  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)
  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)
  Virtio_gpio::Host_irq (L4virtio::Svr)
  Virtio_i2c::Host_irq (L4virtio::Svr)
  Virtio_rng::Host_irq (L4virtio::Svr)

I
  Icu (L4)
  Icu (L4vbus)
  Ignore_errors (L4::Ipc_svr)
  In_out (L4::Ipc)
  Icu::Info (L4)
  Goos::Info (L4Re::Video)
  View::Info (L4Re::Video)
  Inhibitor (L4Re)
  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)
  Virtio_gpio::Irq_handler (L4virtio::Svr)
  Irq_handler_object (L4)
  Irqep_t (L4)
  Is_valid_rpc_type (L4::Ipc::Msg)
  Istream (L4::Ipc)
  Itas (L4Re)
  Item_alloc_base (L4Re::Util)
  List::Iter (cxx)
  List_item::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_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
  l4_vm_vmx_vcpu_infos_t
  l4_vm_vmx_vcpu_state_t
  l4_vm_vmx_vcpu_vmcs_t
  l4_vmx_offset_table_t
  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_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
  L4virtio_port
  Ld (cxx::arith)
  List (cxx)
  Weak_ref_base::List (cxx)
  List_alloc (cxx)
  List_item (cxx)
  Lock_guard (L4)
  Log (L4Re)
  Factory::Lstr (L4)
  Lt_functor (cxx)

M
  Mac_addr
  Mac_table
  Mem_alloc (L4Re)
  Mem_desc (L4::Kip)
  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)
  Net_transfer
  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)

P
  P_dispatch (L4::Typeid)
  Virtio_net_device::Packet (L4virtio::Driver)
  Pager (L4)
  Pair (cxx)
  Pair_first_compare (cxx)
  Parent (L4Re)
  Pci_dev (L4vbus)
  Pci_host_bridge (L4vbus)
  Perf_proto (L4virtio::Svr::Scmi)
  Performance_attr_t (L4virtio::Svr::Scmi)
  Performance_describe_level_t (L4virtio::Svr::Scmi)
  Performance_describe_levels_n_t (L4virtio::Svr::Scmi)
  Performance_domain_attr_t (L4virtio::Svr::Scmi)
  Gpio_module::Pin_slice (L4vbus)
  Pixel_info (L4Re::Video)
  Platform_control (L4)
  Pm (L4vbus)
  Poll_timeout_counter (L4)
  Poll_timeout_kipclock (L4)
  Port (L4virtio::Svr::Console)
  Proto (L4virtio::Svr::Scmi)
  Proto_t (L4)
  Ptr (L4virtio)

R
  Random (L4Re)
  Raw_ipc (L4::Typeid)
  Rcv_endpoint (L4)
  Rcv_fpage (L4::Ipc)
  Ref_cap (L4Re::Util)
  Ref_del_cap (L4Re::Util)
  Ref_obj_list_item (cxx)
  Ref_ptr (cxx)
  Ref_ptr (L4Re::Core)
  Rm::Region (L4Re)
  Rm::Region
  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)
  Virtio_gpio::Request_processor (L4virtio::Svr)
  Virtio_i2c::Request_processor (L4virtio::Svr)
  Virtio_rng::Request_processor (L4virtio::Svr)
  Ret_array (L4::Ipc)
  Rm (L4Re)
  Rm
  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)
  Scmi_dev (L4virtio::Svr::Scmi)
  Scmi_hdr_t (L4virtio::Svr::Scmi)
  Semaphore (L4)
  Send_only (L4::Ipc)
  Server (L4)
  Server_iface (L4::Ipc_svr)
  Server_object (L4)
  Server_object_t (L4)
  Server_object_x (L4)
  Slab (cxx)
  Base_slab::Slab_i (cxx)
  Slab_static (cxx)
  Small_buf (L4::Ipc)
  Smart_cap (L4)
  Smart_cap_auto (L4Re)
  Smart_cap_auto (L4Re::Util)
  Smart_count_cap (L4Re)
  Smart_count_cap (L4Re::Util)
  Smart_ptr_list (cxx::Bits)
  Smart_ptr_list_item (cxx::Bits)
  Snd_fpage (L4::Ipc)
  Special_file (L4Re::Vfs)
  State (L4vcpu)
  static_vector (cxx)
  Dataspace::Stats (L4Re)
  Mem_alloc::Stats (L4Re)
  Str_cp_in (L4::Ipc)
  String (cxx)
  String (L4)
  Svr_arg_pack (L4::Ipc::Msg)
  Svr_val_ops (L4::Ipc::Msg)
  Switch_factory

T
  List_item::T_iter (cxx)
  Task (L4)
  Thread (L4)
  Thread_group (L4)
  Timeout (L4::Ipc_svr)
  Timeout_queue (L4::Ipc_svr)
  Timeout_queue_hooks (L4::Ipc_svr)
  Port::Transition (L4virtio::Svr::Console)
  Triggerable (L4)
  True (L4::Ipc::Msg)
  True (L4::Types)
  Type_info (L4)

U
  Uart (L4)
  Uart_apb (L4)
  Rm::Unique_region (L4Re)
  Rm::Unique_region
  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_con (L4virtio::Svr::Console)
  Virtio_gpio (L4virtio::Svr)
  Virtio_i2c (L4virtio::Svr)
  Virtio_net
  Virtio_net_device (L4virtio::Driver)
  Virtio_net_request
  Virtio_rng (L4virtio::Svr)
  Virtio_switch
  Virtio_vlan_mangle
  Virtqueue (L4virtio::Driver)
  Virtqueue (L4virtio::Svr)
  Virtqueue (L4virtio)
  Vm (L4)

W
  Weak_ref (cxx)
  Weak_ref_base (cxx)
  Bitmap_base::Word (cxx)
  Bitmap_base::Word (L4Re::Util)

_
  _Cap_alloc (L4Re::Util)
  _Rpcs (L4::Typeid::Detail)
  _Rpcs< OPCODE, O, R, X... > (L4::Typeid::Detail)