1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (C) 2020 Intel Corporation 4 */ 5 6#ifndef _SMC_API_H_ 7#define _SMC_API_H_ 8 9int invoke_smc(u32 func_id, u64 *args, int arg_len, u64 *ret_arg, int ret_len); 10int smc_send_mailbox(u32 cmd, u32 len, u32 *arg, u8 urgent, u32 *resp_buf_len, 11 u32 *resp_buf); 12int smc_get_usercode(u32 *usercode); 13 14#endif /* _SMC_API_H_ */ 15