- s -
- sched
: kcb
- sec
: rtc_time
- sector
: virtio_block_reqhdr
- sectors
: virtio_block_geometry
- seen
: lmp_endpoint
- seg_max
: virtio_block_config
- self
: thread
- send_bits
: idc_send_header
- send_chan
: ump_chan
- send_cptr
: idc_send_header
- send_waitset
: lmp_chan
- sendid
: ump_chan
- sense_len
: virtio_scsi_reqhdr
- server
: rpc_client
- session_thread
: _pty
- session_ws
: _pty
- short_frames_ok
: usb_xfer_flags
- short_xfer_forced
: usb_xfer_flags
- short_xfer_ok
: usb_xfer_flags
- size
: memobj
, usb_hid_location
, vfs_fileinfo
- size_max
: virtio_block_config
- sizebits
: mem_cap
, mm
- slab
: thread
- slabs
: mm
- slot_alloc
: mm
, vspace_mmu_aware
- slot_alloc_inst
: mm
- slot_refill
: mm
- src
: dma_req_setup
- st
: monitor_cap_handlers
, term_client
- stack
: thread
- stack_size
: bomp_node
, bomp_thread
- stack_top
: thread
- start_free_ram
: armv8_core_data
- start_kernel_ram
: armv8_core_data
- state
: bulk_buffer
, bulk_channel
, dma_channel
, dma_device
, netif
, thread
, virtio_buffer
, waitset_chanstate
- stepping
: cpuid_proc_family
- strict
: numa_topology
- stride
: memobj_numa
- suspend
: usb_hub_port_status
- sync
: idc_send_header
- sys_hi
: segment_descriptor
- sys_lo
: segment_descriptor