Here is a list of all documented typedefs with links to the documentation:

- e -

• Elf32_Addr : elf.h
• Elf32_Auxv : elf.h
• Elf32_Half : elf.h
• Elf32_Off : elf.h
• Elf32_Sword : elf.h
• Elf32_Word : elf.h
• Elf64_Addr : elf.h
• Elf64_Auxv : elf.h
• Elf64_Half : elf.h
• Elf64_Off : elf.h
• Elf64_Sword : elf.h
• Elf64_Sxword : elf.h
• Elf64_Word : elf.h
• Elf64_Xword : elf.h

- g -

• gfxbitmap_color_pix_t : bitmap.h
• gfxbitmap_color_t : bitmap.h
• gfxbitmap_font_t : font.h

- l -

• l4_addr_t : l4int.h
• l4_buf_regs_t : utcb.h
• l4_cap_idx_t : types.h
• l4_cpu_time_t : l4int.h
• l4_exc_regs_t : utcb.h
• l4_icu_info_t : icu.h
• l4_icu_msi_info_t : icu.h
• l4_int16_t : l4int.h
• l4_int32_t : l4int.h
• l4_int64_t : l4int.h
• l4_int8_t : l4int.h
• l4_kernel_clock_t : l4int.h
• l4_kernel_info_mem_desc_t : memdesc.h
• l4_msg_regs_t : utcb.h
• l4_msgtag_t : types.h
• l4_mword_t : l4int.h
• l4_sched_cpu_set_t : scheduler.h
• l4_sched_param_t : scheduler.h
• l4_size_t : l4int.h
• l4_ssize_t : l4int.h
• l4_thread_regs_t : utcb.h
• l4_uint16_t : l4int.h
• l4_uint32_t : l4int.h
• l4_uint64_t : l4int.h
• l4_uint8_t : l4int.h
• l4_umword_t : l4int.h
• l4_utcb_t : utcb.h
• l4_vcon_attr_t : vcon.h
• l4_vcpu_arch_state_t : __vcpu-arch.h
• l4_vcpu_ipc_regs_t : __vcpu-arch.h
• l4_vcpu_regs_t : __vcpu-arch.h
• l4_vcpu_state_t : vcpu.h
• l4re_aux_t : l4aux.h
• l4re_dma_space_dma_addr_t : dma_space.h
• l4re_dma_space_t : dma_space.h
• l4re_ds_t : dataspace.h
• l4re_elf_aux_mword_t : elf_aux.h
• l4re_elf_aux_t : elf_aux.h
• l4re_elf_aux_vma_t : elf_aux.h
• l4re_env_cap_entry_t : env.h
• l4re_env_t : env.h
• l4re_namespace_t : namespace.h
• l4re_video_color_component_t : colors.h
• l4re_video_goos_t : goos.h
• l4re_video_pixel_info_t : colors.h
• l4re_video_view_info_t : view.h
• l4re_video_view_t : view.h
• l4vbus_device_handle_t : vbus_types.h
• l4vbus_iface_type_t : vbus_interfaces.h
• l4vbus_paddr_t : vbus_types.h

- p -

• parse_cmd_fn_arg_t : parse_cmd.h
• parse_cmd_fn_t : parse_cmd.h