/*
 * SPDX-License-Identifier: BSD-3-Clause
 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
 */

#ifndef RSI_CONFIG_H
#define RSI_CONFIG_H

#include <rsi-walk.h>

struct rec;

struct rsi_walk_smc_result handle_rsi_realm_config(struct rec *rec);

#endif /* RSI_CONFIG_H */