| /* |
| * Copyright (c) 2025, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| * |
| */ |
| |
| #ifndef REALM_DA_HELPERS_H |
| #define REALM_DA_HELPERS_H |
| |
| #include <realm_rsi.h> |
| |
| /* |
| * Currently assigning one device is supported, for more than one device the VMM |
| * view of vdev_id and Realm view of device_id must match |
| */ |
| #define RDEV_ID (0x0UL) |
| |
| #define RDEV_TDISP_VERSION_MAX (0x10) |
| |
| struct rdev { |
| unsigned long id; |
| unsigned long inst_id; |
| }; |
| |
| unsigned long realm_rdev_init(struct rdev *rdev, unsigned long rdev_id); |
| unsigned long realm_rsi_rdev_start(struct rdev *rdev); |
| unsigned long realm_rsi_rdev_stop(struct rdev *rdev); |
| unsigned long realm_rsi_rdev_get_interface_report(struct rdev *rdev); |
| unsigned long realm_rsi_rdev_get_state(struct rdev *rdev); |
| unsigned long realm_rsi_rdev_lock(struct rdev *rdev); |
| int realm_verify_device_attestation(struct rdev *rdev, |
| struct rsi_dev_info *rdev_info); |
| unsigned long realm_rsi_rdev_get_measurements(struct rdev *rdev, |
| struct rsi_dev_measure_params *mparams); |
| unsigned long realm_rsi_rdev_get_info(struct rdev *rdev, |
| struct rsi_dev_info *rdev_info); |
| |
| #endif /* REALM_DA_HELPERS_H */ |