witness_amp_mailbox Struct Reference

#include <amp_contract.h>

Public Attributes
uint32_t	abi
uint32_t	status
uint32_t	producer
uint32_t	consumer
uint64_t	trap_cause
uint64_t	trap_value
uint32_t	telemetry_overflow
uint32_t	samples
uint32_t	logger_status
uint32_t	reserved
witness_amp_run_contract	run
uint32_t	run_reserved
witness_amp_sample	records [WITNESS_AMP_CAPACITY]

Detailed Description

Firmware owns producer/status; the sole Linux consumer owns consumer, with fence ordering.

Definition at line 43 of file amp_contract.h.

Member Data Documentation

abi

uint32_t witness_amp_mailbox::abi

Telemetry ABI published by firmware before logger readiness.

Definition at line 44 of file amp_contract.h.

consumer

uint32_t witness_amp_mailbox::consumer

Logger-owned monotonically advancing telemetry consumer cursor.

Definition at line 44 of file amp_contract.h.

logger_status

uint32_t witness_amp_mailbox::logger_status

Logger-owned readiness or final-close acknowledgement.

Definition at line 47 of file amp_contract.h.

producer

uint32_t witness_amp_mailbox::producer

Firmware-owned monotonically advancing telemetry producer cursor.

Definition at line 44 of file amp_contract.h.

records

witness_amp_sample witness_amp_mailbox::records[WITNESS_AMP_CAPACITY]

Power-of-two telemetry ring indexed by the producer and consumer cursors.

Definition at line 50 of file amp_contract.h.

reserved

uint32_t witness_amp_mailbox::reserved

ABI padding required to remain zero.

Definition at line 47 of file amp_contract.h.

run

witness_amp_run_contract witness_amp_mailbox::run

Firmware-published immutable copy of the compiled run contract.

Definition at line 48 of file amp_contract.h.

run_reserved

uint32_t witness_amp_mailbox::run_reserved

Run-contract alignment padding required to remain zero.

Definition at line 49 of file amp_contract.h.

samples

uint32_t witness_amp_mailbox::samples

Number of firmware samples published during the run.

Definition at line 46 of file amp_contract.h.

status

uint32_t witness_amp_mailbox::status

Monotonic firmware lifecycle state from witness_amp_status.

Definition at line 44 of file amp_contract.h.

telemetry_overflow

uint32_t witness_amp_mailbox::telemetry_overflow

Latched indication that a telemetry sample could not enter the full ring.

Definition at line 46 of file amp_contract.h.

trap_cause

uint64_t witness_amp_mailbox::trap_cause

Architectural or software refusal cause retained on termination.

Definition at line 45 of file amp_contract.h.

trap_value

uint64_t witness_amp_mailbox::trap_value

Additional architectural or software refusal value.

Definition at line 45 of file amp_contract.h.

---

The documentation for this struct was generated from the following file:

• runtime/bare_metal/amp_contract.h