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 <rsi-walk.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 struct rsi_walk_smc_result handle_rsi_ipa_state_get(struct rec *rec);
17 
18 #endif /* RSI_MEMORY_H */
19