witness_amp_platform_contract Struct Reference

#include <amp_contract.h>

Public Attributes
uint32_t	hart
uint32_t	interrupt
uint64_t	mmio
uint64_t	priority
uint64_t	enable_word
uint64_t	threshold
uint64_t	claim
uint64_t	shared

Detailed Description

Operator-supplied resource addresses, checked against the actual boot and device mapping.

Definition at line 23 of file amp_contract.h.

Member Data Documentation

claim

uint64_t witness_amp_platform_contract::claim

Physical PLIC claim/complete-register address.

Definition at line 25 of file amp_contract.h.

enable_word

uint64_t witness_amp_platform_contract::enable_word

Physical address of the selected PLIC enable word.

Definition at line 25 of file amp_contract.h.

hart

uint32_t witness_amp_platform_contract::hart

Dedicated machine-mode application hart identifier.

Definition at line 24 of file amp_contract.h.

interrupt

uint32_t witness_amp_platform_contract::interrupt

Controller-owned PLIC source identifier.

Definition at line 24 of file amp_contract.h.

mmio

uint64_t witness_amp_platform_contract::mmio

Physical base of the fabric register aperture.

Definition at line 25 of file amp_contract.h.

priority

uint64_t witness_amp_platform_contract::priority

Physical PLIC priority-register address.

Definition at line 25 of file amp_contract.h.

shared

uint64_t witness_amp_platform_contract::shared

Physical base of the reserved telemetry mailbox.

Definition at line 25 of file amp_contract.h.

threshold

uint64_t witness_amp_platform_contract::threshold

Physical PLIC threshold-register address.

Definition at line 25 of file amp_contract.h.

---

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

• runtime/bare_metal/amp_contract.h