1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #ifndef RSI_CONFIG_H
7 #define RSI_CONFIG_H
8 
9 #include <rsi-walk.h>
10 
11 struct rec;
12 
13 struct rsi_walk_smc_result handle_rsi_realm_config(struct rec *rec);
14 
15 #endif /* RSI_CONFIG_H */
16