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_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); 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)

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); 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); 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::Svr::Console); Device (L4virtio::Driver); Device (L4virtio); Device (L4vbus); Device_discard_feature (Block_device); Device_mgr (Block_device); Device_port (L4virtio::Svr::Console); Device_t (L4virtio::Svr); Device_with_notification_domain (Block_device); 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)

F: Rpcs_code::F (L4::Typeid); Dataspace::F (L4Re); Rm::F (L4Re); Factory (L4); 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); 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_ext_vcpu_state_vmx_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; 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_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; Weak_ref_base::List (cxx); 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); Notification_domain (Block_device)

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); 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); 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_errand (Block_device::Errand); Poll_timeout_counter (L4); Poll_timeout_kipclock (L4); Port (L4virtio::Svr::Console); Proto (L4virtio::Svr::Scmi); Proto_t (L4); Ptr (L4virtio)

R: Random (L4Re); Rm::Range (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); 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, R, X... >::Rpc (L4::Typeid::Detail); _Rpcs< OPCODE, O, Default_op< R > >::Rpc (L4::Typeid::Detail); Rpc_nocode (L4::Typeid); Rpcs (L4::Typeid); Rpcs_code (L4::Typeid); Rpcs_end (L4::Typeid::Detail); Rpcs_sys (L4::Typeid); Rr_scheduler (Block_device); Runtime_error (L4)

S: Factory::S (L4); S_list (cxx); Same (L4::Types); Scheduler (L4); Scheduler_base (Block_device); 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::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_fpage (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); Uart_apb (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_con (L4virtio::Svr::Console); 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)