| /* |
| * SPDX-License-Identifier: BSD-3-Clause |
| * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. |
| * |
| * This file was AUTOGENERATED from the RMM specification. |
| * RMM specification source version: 790fd539 |
| */ |
| |
| #ifndef __TB_RMI_GRANULE_DELEGATE_H |
| #define __TB_RMI_GRANULE_DELEGATE_H |
| |
| #include "stdbool.h" |
| #include "stdint.h" |
| |
| /* |
| * Testbench for RMI_GRANULE_DELEGATE command. Check via CBMC with flag |
| * `--entry-point tb_rmi_granule_delegate`. |
| * |
| * Arguments: |
| * addr: PA of the target Granule. |
| * |
| * Returns: |
| * bool: Output value. |
| */ |
| bool tb_rmi_granule_delegate( |
| uint64_t addr); |
| |
| #endif /* __TB_RMI_GRANULE_DELEGATE_H */ |