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

#ifndef RSI_HANDLER_H
#define RSI_HANDLER_H

unsigned long system_rsi_abi_version(void);

#endif /* RSI_HANDLER_H */