Here is a list of all documented variables with links to the struct/union documentation for each field:

- a -

• a : l4re_video_pixel_info_t
• addr : l4util_mb_addr_range_t, L4virtio::Virtqueue::Desc
• affinity : l4_sched_param_t
• apm_table : l4util_mb_info_t
• arch_state : l4_vcpu_state_t
• atype : Elf32_Auxv, Elf64_Auxv
• avail_addr : l4virtio_config_queue_t
• ax : l4_vcpu_regs_t