Data Structures

Here are the data structures with brief descriptions:

C__omp_lock	Internal declaration of a simple lock
C_ht_entry	Entry of a hashtable
C_pty
Cargs	Generic distributed service arguments passed to a dispatcher
Carm_core_data	Data sent to a newly booted kernel
Carm_smc_hvc_retval	Struct to hold the result values for the SMC instruction on arm
Carmv8_core_data	Data sent to a newly booted kernel
Carmv8_ttable_entry
Cbomp_master	Stores the state of the BOMP master thread
Cbomp_node
Cbomp_thread	This struct stores thread local data such as the team / task of this thread
Cbootinfo
Cbuffer_port_translation
Cbulk_buffer
Cbulk_channel
Cbulk_channel_bind_params
Cbulk_channel_callbacks
Cbulk_channel_constraints
Cbulk_channel_setup
Cbulk_continuation
Cbulk_endpoint_descriptor
Cbulk_implementation
Cbulk_net_endpoint_descriptor
Cbulk_net_ep_setup
Cbulk_net_msgdesc
Cbulk_net_proxy
Cbulk_pool
Cbulk_pool_id
Cbulk_pool_internal
Cbulk_pool_list
Cbulk_sm_ws_item
Ccapref	User-level representation of a capability and its CSpace address
Ccnode_meta	Meta data for single_slot_allocator
Ccnoderef	User-level representation of a CNode, this is essentially a capref to a CNode
Ccpuid_adressspaceinfo	< address space size information
Ccpuid_functions	< function table for vendor specific handlers maximum input value for basic CPUID information
Ccpuid_proc_family	Processor frequency information
Ccpuid_regs	< struct representing the registers used for the cpuid instruction macro declaration for initializing the cpuid_regs struct
Ccpuid_threadinfo	< topology information this thread belongs to topology hierarchy information structure
Ccpuid_tlbinfo	< tlb information structure
Ccte	A CTE (Capability Table Entry)
Cdcb	The dispatcher control block
Cdictionary	Dictionary_t is the abstract type of datastructures that are able to store key/value pairs
Cdispatcher_aarch64	Dispatcher structure (including data accessed only by user code)
Cdispatcher_arm	Dispatcher structure (including data accessed only by user code)
Cdispatcher_shared_aarch64	< Architecture specific kernel/user shared dispatcher struct
Cdispatcher_shared_arm	< Architecture specific kernel/user shared dispatcher struct
Cdispatcher_shared_x86_32	< Architecture specific kernel/user shared dispatcher struct
Cdispatcher_shared_x86_64	< Architecture specific kernel/user shared dispatcher struct
Cdispatcher_x86_32	Dispatcher structure (including data accessed only by user code)
Cdispatcher_x86_64	Dispatcher structure (including data accessed only by user code)
Cdma_channel
Cdma_client_info
Cdma_device
Cdma_mem
Cdma_req_setup
Cdma_request
Cdma_service_cb
Ce10k_queue_rxctx
CElf32_Ehdr	ELF32 file header
CElf32_Nhdr	ELF32 note entry
CElf32_Phdr	ELF32 program header
CElf32_Rel	ELF32 relocation entry
CElf32_Rela	ELF32 relocation entry with addend
CElf32_Shdr	ELF32 section header
CElf32_Sym	ELF32 symbol table entry
CElf64_Dyn	ELF64 Dynamic section entry
CElf64_Ehdr	ELF64 file header
CElf64_Phdr	ELF64 program header
CElf64_Rela	ELF64 relocation entry
CElf64_Shdr	ELF64 section header
CElf64_Sym	ELF64 symbol table entry
Ceth_hdr
Cetharp_hdr
Cflounder_cap_state	State for indirect (via monitor) cap tx/rx machinery
Cflounder_generic_bind_attempt	State associated with an ongoing generic bind attempt
Cframe_identity	Values returned from frame identify invocation
Cgate_descriptor
Cgeneric_task_desc
Cglobal	Struct passed to app_cores during boot. Contains information that the bsp_kernel wants to pass to the app_kernels
Cguest	Structure to hold information regarding AMD SVM
Cguest_control	A VMKit guest control and state structure
Chashtable	Hashtable
Cidc_recv_header	IDC receiver-side header
Cidc_recv_msg	IDC receive message, with position indicator for demarshalling
Cidc_recv_msg_body	Message layout on receiver side
Cidc_send_header	IDC sender-side header
Cidc_send_msg	IDC send message, with position indicator for marshalling
Cidc_send_msg_body	Message layout on sender side
Cindirect_vring_desc
Cipi_notify	A bidirectional IPI channel
Ckcb	The kernel control block
Clmp_chan	A bidirectional LMP channel
Clmp_endpoint	LMP endpoint structure (including data accessed only by user code)
Clmp_endpoint_kern	Incoming LMP endpoint message buffer
Clmp_recv_buf	Message layout in user's buffer
Clmp_recv_header	LMP receiver-side header
Clmp_recv_msg	Fixed-length version of lmp_recv_buf
Cmain_task_desc
Cmdbnode	A mapping database node
Cmem_cap	Structure to record all information about a given memory region
Cmem_region
Cmemobj	Public interface for memobj
Cmemobj_fixed
Cmemobj_numa
Cmm	Memory manager instance data
Cmmnode	Node in Memory manager Btree. Private
Cmonitor_cap_handlers	Handlers for incoming/outgoing capabilities on the monitor binding
Cmsgbuf	A generic message buffer into which things can be marshalled
Cmultiboot_info	Multiboot information structure passed from bootloader to OS
Cnet_user
Cnetif
Cnuma_core	Core stores the topology information
Cnuma_node	Numa node
Cnuma_topology	Numa topology information of the system
Comp_icv	OpenMP environment for each thread
Cop_def_t	Defines a type for operator definition entries
Cpci_addr	Representation of a PCI address (with more bits than libpci)
Cplatform_info	Struct that can be used to request/parse platform information
Cprotocol_binary_request_header
Cprotocol_binary_request_no_extras
Cprotocol_binary_response_header
Cprotocol_binary_response_no_extras
Cregion_descriptor
Crpc_client	RPC client instance data
Crtc_time	Time structure. This structure is used to get the current RTC time
Csegment_descriptor	Segment descriptor
Cslot_alloc_basecn	Instance data for simple base-cnode allocator
Cslot_prealloc	Instance data for pre-allocating slot allocator for 2 level cspace
Cspawninfo	Struct to refer to the various caps within a domain being spawned
Csysret	Return type from a system call: two words
Cterm_client
Cthread	A thread of execution / thread control block (TCB)
Ctls_dtv	TLS dynamic thread vector data structure
Ctrace_buffer	Trace buffer
Ctrace_event	Trace event
Cump_chan	A bidirectional UMP channel
Cump_chan_state	State of a (one-way) UMP channel
Cump_endpoint	Incoming UMP endpoint
Cusb_config_descriptor
Cusb_descriptor
Cusb_device
Cusb_device_descriptor
Cusb_device_qualifier_descriptor
Cusb_device_request
Cusb_endpoint	This file contains device related definitions for the USB client driver
Cusb_endpoint_descriptor
Cusb_generic_descriptor
Cusb_hid_data
Cusb_hid_descriptor
Cusb_hid_dtype
Cusb_hid_item	This struct represents an item in a USB report
Cusb_hid_location	Struct definition for storing information about the HID item in an report
Cusb_hid_pos_data	Struct definition for report id - position association
Cusb_hub
Cusb_hub_characteristics
Cusb_hub_descriptor
Cusb_hub_port
Cusb_hub_port_status
Cusb_hub_schedule
Cusb_hub_status
Cusb_iface_parse_state	This file contains definitions for parsing the USB descriptors
Cusb_interface
Cusb_interface_descriptor
Cusb_request_type
Cusb_status	Generic usb status
Cusb_string_descriptor_languages
Cusb_transfer_setup
Cusb_xfer_flags	This file contains definitions for handling US xfers
Cvfs_fileinfo	Data returned from #vfs_stat
Cvirtio_block_config
Cvirtio_block_geometry	VirtIO block device geometry information
Cvirtio_block_reqhdr
Cvirtio_block_topology	VirtIO block device topology information
Cvirtio_buffer
Cvirtio_buffer_allocator
Cvirtio_buffer_list
Cvirtio_device
Cvirtio_device_blk
Cvirtio_device_fn
Cvirtio_device_setup
Cvirtio_guest_chan_fn
Cvirtio_host_buf
Cvirtio_scsi_reqhdr
Cvirtqueue_setup
Cvnode	Node in the meta-data, corresponds to an actual VNode object
Cvnode_identity	Values returned from the VNode identify invocation
Cvring
Cvring_avail
Cvring_desc
Cvring_used
Cvring_used_elem
Cvspace_mmu_aware	Struct to support mmu_aware memory management
Cwaitset	Wait set
Cwaitset_chanstate	Per-channel state belonging to waitset
Cworker_desc
Cx86_32_pdir_entry
Cx86_32_ptable_entry
Cx86_64_pdir_entry
Cx86_64_ptable_entry
Cx86_core_data	Data sent to a newly booted kernel
Cxeon_phi_boot_params
Cxomp_args	Arguments passed to the xomp initialization function
Cxomp_spawn	Arguments and path of the worker domains
Cxomp_task