Re: [RFC PATCH v1 37/38] coco: guest: arm64: Add support for fetching device measurements

Bjorn Helgaas
2025-08-04T22:27:18Z

On Mon, Jul 28, 2025 at 07:22:14PM +0530, Aneesh Kumar K.V (Arm) wrote:
> Fetch device measurements using RSI_RDEV_GET_MEASUREMENTS.

> +++ b/arch/arm64/include/asm/rsi_smc.h

> +struct rsi_device_measurements_params {
> + union {
> + struct {
> + u64 flags;
> + u8 indices[32];
> + u8 nounce[32];

s/nounce/nonce/ ?