Skip to content

Shared Header Types

Target Intrinsic Shared Types

Type ABI contract
__bedrock_control_register_t Architectural control-register selectors.
__bedrock_performance_counter_t Architectural performance-counter selectors.
__bedrock_query_result_t Value and architectural flags returned by MMU queries.
__bedrock_segment_register_t Source-selectable architectural segment registers.