plat/host/common/include/host_rmi_wrappers.h

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

#ifndef HOST_RMI_WRAPPERS_H
#define HOST_RMI_WRAPPERS_H

#include <smc-rmi.h>

void host_rmi_granule_delegate(void *granule_address, struct smc_result *res);
void host_rmi_granule_undelegate(void *granule_address, struct smc_result *res);
void host_rmi_realm_create(void *rd, void *params_ptr, struct smc_result *res);
void host_rmi_realm_destroy(void *rd, struct smc_result *res);
void host_rmi_rtt_create(void *rd, void *rtt, void *ipa,
			 unsigned int level, struct smc_result *res);
void host_rmi_rtt_destroy(void *rd, void *ipa, unsigned int level,
			  struct smc_result *res);
void host_rmi_rec_aux_count(void *rd, struct smc_result *res);
void host_rmi_rec_create(void *rd, void *rec, void *params_ptr,
			 struct smc_result *res);
void host_rmi_rec_destroy(void *rec, struct smc_result *res);
void host_rmi_realm_activate(void *rd, struct smc_result *res);
void host_rmi_rec_enter(void *rec, void *run_ptr, struct smc_result *res);
void host_rmi_data_create(uintptr_t data, void *rd, uintptr_t ipa,
			 uintptr_t src, struct smc_result *res);
void host_rmi_data_create_unknown(void *rd, uintptr_t data, uintptr_t ipa,
			struct smc_result *res);
void host_rmi_rtt_init_ripas(void *rd, uintptr_t base, uintptr_t top,
			struct smc_result *res);
void host_rmi_data_destroy(void *rd, uintptr_t ipa, struct smc_result *res);

#endif /* HOST_RMI_WRAPPERS_H */