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

- s -

• s : L4::Factory::Lstr
• saved_state : l4_vcpu_state_t
• scheduler : l4re_env_t
• scheduler_granularity : l4_kernel_info_t
• second : cxx::Pair< First, Second >
• sector : Block_device::Inout_block, l4virtio_block_header_t
• seg_max : l4virtio_block_config_t
• sender_waits : l4shmc_ringbuf_head_t
• sh_addr : Elf32_Shdr, Elf64_Shdr
• sh_addralign : Elf32_Shdr, Elf64_Shdr
• sh_entsize : Elf32_Shdr, Elf64_Shdr
• sh_flags : Elf32_Shdr, Elf64_Shdr
• sh_info : Elf32_Shdr, Elf64_Shdr
• sh_link : Elf32_Shdr, Elf64_Shdr
• sh_name : Elf32_Shdr, Elf64_Shdr
• sh_offset : Elf32_Shdr, Elf64_Shdr
• sh_size : Elf32_Shdr, Elf64_Shdr
• sh_type : Elf32_Shdr, Elf64_Shdr
• shift : l4re_video_color_component_t
• si : l4_vcpu_regs_t
• sigma0_eip : l4_kernel_info_t
• sigma0_esp : l4_kernel_info_t
• sigma1_eip : l4_kernel_info_t
• sigma1_esp : l4_kernel_info_t
• size : L4Re::Dataspace::Stats, l4re_ds_stats_t, l4re_video_color_component_t, l4util_mb_addr_range_t
• size_max : l4virtio_block_config_t
• snd : l4_timeout_t
• snd_base : l4_snd_fpage_t
• sp : l4_exc_regs_t, l4_vcpu_regs_t
• src : L4virtio::Svr::Console::Device_port
• ss : l4_exc_regs_t, l4_vcpu_regs_t
• st_info : Elf32_Sym, Elf64_Sym
• st_name : Elf32_Sym, Elf64_Sym
• st_other : Elf32_Sym, Elf64_Sym
• st_shndx : Elf32_Sym, Elf64_Sym
• st_size : Elf32_Sym, Elf64_Sym
• st_value : Elf32_Sym, Elf64_Sym
• start : L4Re::Rm::Range, l4vbus_resource_t
• state : l4_vcpu_state_t
• status : L4virtio::Svr::Console::Port
• sticky_flags : l4_vcpu_state_t
• stream_id : L4Re::Default_event_payload, l4re_event_t
• struct_size : l4util_mb_addr_range_t