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

- r -

• r : L4::Ipc_svr::Direct_dispatch< R >, L4::Ipc_svr::Direct_dispatch< R * >, l4_exc_regs_t, l4_vcpu_state_t
• r10 : l4_exc_regs_t, l4_vcpu_regs_t
• r11 : l4_exc_regs_t, l4_vcpu_regs_t
• r12 : l4_exc_regs_t, l4_vcpu_regs_t
• r13 : l4_exc_regs_t, l4_vcpu_regs_t
• r14 : l4_exc_regs_t, l4_vcpu_regs_t
• r15 : l4_exc_regs_t, l4_vcpu_regs_t
• r8 : l4_exc_regs_t, l4_vcpu_regs_t
• r9 : l4_exc_regs_t, l4_vcpu_regs_t
• raw : L4::Types::Flags_t< DT, T >, l4_fpage_t, l4_msgtag_t, l4_timeout_t, L4virtio::Svr::Dev_features, L4virtio::Svr::Dev_status, L4virtio::Virtqueue::Avail::Flags, L4virtio::Virtqueue::Desc::Flags, L4virtio::Virtqueue::Used::Flags
• rax : l4_exc_regs_t
• rbp : l4_exc_regs_t
• rbx : l4_exc_regs_t
• rcv : l4_timeout_t
• rcx : l4_exc_regs_t
• rdi : l4_exc_regs_t
• rdx : l4_exc_regs_t
• ready : l4virtio_config_queue_t
• red_field_position : l4util_mb_vbe_mode_t
• red_mask_size : l4util_mb_vbe_mode_t
• request : L4virtio::Svr::Console::Device_port
• reserved0 : l4util_mb_vbe_mode_t
• reserved1 : l4util_mb_vbe_mode_t
• reserved3 : l4util_mb_vbe_mode_t
• reserved_field_position : l4util_mb_vbe_mode_t
• reserved_mask_size : l4util_mb_vbe_mode_t
• reversed2 : l4util_mb_vbe_mode_t
• ring : L4virtio::Virtqueue::Avail, L4virtio::Virtqueue::Used
• rm : l4re_env_t
• root_eip : l4_kernel_info_t
• root_esp : l4_kernel_info_t
• rp : L4virtio::Svr::Console::Device_port
• rsi : l4_exc_regs_t
• rx : L4virtio::Svr::Console::Port