| Soby Mathew | b4c6df4 | 2022-11-09 11:13:29 +0000 | [diff] [blame^] | 1 | /* |
| 2 | * SPDX-License-Identifier: BSD-3-Clause | ||||
| 3 | * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. | ||||
| 4 | */ | ||||
| 5 | |||||
| 6 | #ifndef RSI_MEMORY_H | ||||
| 7 | #define RSI_MEMORY_H | ||||
| 8 | |||||
| 9 | #include <smc-rsi.h> | ||||
| 10 | |||||
| 11 | struct rec; | ||||
| 12 | struct rmi_rec_exit; | ||||
| 13 | |||||
| 14 | bool handle_rsi_ipa_state_set(struct rec *rec, struct rmi_rec_exit *rec_exit); | ||||
| 15 | |||||
| 16 | rsi_status_t handle_rsi_ipa_state_get(struct rec *rec, unsigned long ipa, | ||||
| 17 | enum ripas *ripas); | ||||
| 18 | |||||
| 19 | #endif /* RSI_MEMORY_H */ | ||||