blob: 29dfdad346deaa2e89ffe3da176ce2833dca19c4 [file] [log] [blame]
Achin Gupta86f23532019-10-11 15:41:16 +01001/*
Marc Bonnicida2c9e12021-11-29 18:02:45 +00002 * Copyright (c) 2020-2022, ARM Limited and Contributors. All rights reserved.
Achin Gupta86f23532019-10-11 15:41:16 +01003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef SPMD_SVC_H
8#define SPMD_SVC_H
9
10#ifndef __ASSEMBLER__
J-Alves2672cde2020-05-07 18:42:25 +010011#include <services/ffa_svc.h>
Achin Gupta86f23532019-10-11 15:41:16 +010012#include <stdint.h>
13
Max Shvetsov745889c2020-02-27 14:54:21 +000014int spmd_setup(void);
Marc Bonnicida2c9e12021-11-29 18:02:45 +000015uint64_t spmd_ffa_smc_handler(uint32_t smc_fid,
16 uint64_t x1,
17 uint64_t x2,
18 uint64_t x3,
19 uint64_t x4,
20 void *cookie,
21 void *handle,
22 uint64_t flags);
Achin Gupta86f23532019-10-11 15:41:16 +010023uint64_t spmd_smc_handler(uint32_t smc_fid,
24 uint64_t x1,
25 uint64_t x2,
26 uint64_t x3,
27 uint64_t x4,
28 void *cookie,
29 void *handle,
30 uint64_t flags);
Marc Bonnicida2c9e12021-11-29 18:02:45 +000031uint64_t spmd_smc_switch_state(uint32_t smc_fid,
32 bool secure_origin,
33 uint64_t x1,
34 uint64_t x2,
35 uint64_t x3,
36 uint64_t x4,
37 void *handle);
Achin Gupta86f23532019-10-11 15:41:16 +010038#endif /* __ASSEMBLER__ */
39
40#endif /* SPMD_SVC_H */