lib/smc/aarch64/smc.c

/*
 * Copyright (c) 2018, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <stdint.h>
#include <tftf.h>

smc_ret_values asm_tftf_smc64(u_register_t arg0,
					u_register_t arg1,
					u_register_t arg2,
					u_register_t arg3,
					u_register_t arg4,
					u_register_t arg5,
					u_register_t arg6,
					u_register_t arg7);

smc_ret_values tftf_smc(const smc_args *args)
{
	return asm_tftf_smc64(args->arg0,
			      args->arg1,
			      args->arg2,
			      args->arg3,
			      args->arg4,
			      args->arg5,
			      args->arg6,
			      args->arg7);
}