Barrelfish

Data Structures

Here are the data structures with brief descriptions:
_ht_entryEntry of a hashtable
_pty
argsGeneric distributed service arguments passed to a dispatcher
arm_core_dataData sent to a newly booted kernel
bootinfo
buffer_port_translation
caprefUser-level representation of a capability and its CSpace address
cnode_metaMeta data for single_slot_allocator
cnoderefUser-level representation of a CNode, its CSpace address and size
cteA CTE (Capability Table Entry)
dcbThe dispatcher control block
dictionaryDictionary_t is the abstract type of datastructures that are able to store key/value pairs
dispatcher_armDispatcher structure (including data accessed only by user code)
dispatcher_shared_arm< Architecture specific kernel/user shared dispatcher struct
dispatcher_shared_x86_32< Architecture specific kernel/user shared dispatcher struct
dispatcher_shared_x86_64< Architecture specific kernel/user shared dispatcher struct
dispatcher_x86_32Dispatcher structure (including data accessed only by user code)
dispatcher_x86_64Dispatcher structure (including data accessed only by user code)
Elf32_EhdrELF32 file header
Elf32_PhdrELF32 program header
Elf32_RelELF32 relocation entry
Elf32_RelaELF32 relocation entry with addend
Elf32_ShdrELF32 section header
Elf32_SymELF32 symbol table entry
Elf64_DynELF64 Dynamic section entry
Elf64_EhdrELF64 file header
Elf64_PhdrELF64 program header
Elf64_RelaELF64 relocation entry
Elf64_ShdrELF64 section header
Elf64_SymELF64 symbol table entry
flounder_cap_stateState for indirect (via monitor) cap tx/rx machinery
flounder_generic_bind_attemptState associated with an ongoing generic bind attempt
frame_identityValues returned from frame identify invocation
gate_descriptor
generic_task_desc
globalStruct passed to app_cores during boot. Contains information that the bsp_kernel wants to pass to the app_kernels
guestStructure to hold information regarding AMD SVM
guest_controlA VMKit guest control and state structure
hashtableHashtable
idc_recv_headerIDC receiver-side header
idc_recv_msgIDC receive message, with position indicator for demarshalling
idc_recv_msg_bodyMessage layout on receiver side
idc_send_headerIDC sender-side header
idc_send_msgIDC send message, with position indicator for marshalling
idc_send_msg_bodyMessage layout on sender side
ipi_notifyA bidirectional IPI channel
lmp_chanA bidirectional LMP channel
lmp_endpointLMP endpoint structure (including data accessed only by user code)
lmp_endpoint_kernIncoming LMP endpoint message buffer
lmp_recv_bufMessage layout in user's buffer
lmp_recv_headerLMP receiver-side header
lmp_recv_msgFixed-length version of lmp_recv_buf
main_task_desc
mdbnodeA mapping database node
mem_capStructure to record all information about a given memory region
mem_region
memobjPublic interface for memobj
mmMemory manager instance data
mmnodeNode in Memory manager Btree. Private
monitor_cap_handlersHandlers for incoming/outgoing capabilities on the monitor binding
msgbufA generic message buffer into which things can be marshalled
multiboot_infoMultiboot information structure passed from bootloader to OS
net_user
netif
op_def_tDefines a type for operator definition entries
region_descriptor
rpc_clientRPC client instance data
rtc_timeTime structure. This structure is used to get the current RTC time
segment_descriptorSegment descriptor
slot_alloc_basecnInstance data for simple base-cnode allocator
slot_preallocInstance data for pre-allocating slot allocator
spawninfoStruct to refer to the various caps within a domain being spawned
sysretReturn type from a system call: two words
term_client
threadA thread of execution / thread control block (TCB)
tls_dtvTLS dynamic thread vector data structure
trace_bufferTrace buffer
trace_eventTrace event
ump_chanA bidirectional UMP channel
ump_chan_stateState of a (one-way) UMP channel
ump_endpointIncoming UMP endpoint
usb_config_descriptor
usb_descriptor
usb_device
usb_device_descriptor
usb_device_qualifier_descriptor
usb_device_request
usb_endpointThis file contains device related definitions for the USB client driver
usb_endpoint_descriptor
usb_generic_descriptor
usb_hid_data
usb_hid_descriptor
usb_hid_dtype
usb_hid_itemThis struct represents an item in a USB report
usb_hid_locationStruct definition for storing information about the HID item in an report
usb_hid_pos_dataStruct definition for report id - position association
usb_hub
usb_hub_characteristics
usb_hub_descriptor
usb_hub_port
usb_hub_port_status
usb_hub_schedule
usb_hub_status
usb_iface_parse_stateThis file contains definitions for parsing the USB descriptors
usb_interface
usb_interface_descriptor
usb_request_type
usb_statusGeneric usb status
usb_string_descriptor_languages
usb_transfer_setup
usb_xfer_flagsThis file contains definitions for handling US xfers
vfs_fileinfoData returned from #vfs_stat
vnodeNode in the meta-data, corresponds to an actual VNode object
vspace_mmu_awareStruct to support mmu_aware memory management
waitsetWait set
waitset_chanstatePer-channel state belonging to waitset
worker_desc
x86_32_pdir_entry
x86_32_ptable_entry
x86_64_pdir_entry
x86_64_ptable_entry
x86_core_dataData sent to a newly booted kernel