1bdd2596dSAchin Gupta /* 2bb01a673SMarc Bonnici * Copyright (c) 2020-2022, ARM Limited and Contributors. All rights reserved. 3bdd2596dSAchin Gupta * 4bdd2596dSAchin Gupta * SPDX-License-Identifier: BSD-3-Clause 5bdd2596dSAchin Gupta */ 6bdd2596dSAchin Gupta 7bdd2596dSAchin Gupta #ifndef SPMD_SVC_H 8bdd2596dSAchin Gupta #define SPMD_SVC_H 9bdd2596dSAchin Gupta 10bdd2596dSAchin Gupta #ifndef __ASSEMBLER__ 11662af36dSJ-Alves #include <services/ffa_svc.h> 12bdd2596dSAchin Gupta #include <stdint.h> 13bdd2596dSAchin Gupta 140f14d02fSMax Shvetsov int spmd_setup(void); 15bb01a673SMarc Bonnici uint64_t spmd_ffa_smc_handler(uint32_t smc_fid, 16bb01a673SMarc Bonnici uint64_t x1, 17bb01a673SMarc Bonnici uint64_t x2, 18bb01a673SMarc Bonnici uint64_t x3, 19bb01a673SMarc Bonnici uint64_t x4, 20bb01a673SMarc Bonnici void *cookie, 21bb01a673SMarc Bonnici void *handle, 22bb01a673SMarc Bonnici uint64_t flags); 23bdd2596dSAchin Gupta uint64_t spmd_smc_handler(uint32_t smc_fid, 24bdd2596dSAchin Gupta uint64_t x1, 25bdd2596dSAchin Gupta uint64_t x2, 26bdd2596dSAchin Gupta uint64_t x3, 27bdd2596dSAchin Gupta uint64_t x4, 28bdd2596dSAchin Gupta void *cookie, 29bdd2596dSAchin Gupta void *handle, 30*bb9fc8c0SJay Monkman uint64_t flags, 31*bb9fc8c0SJay Monkman uint32_t secure_ffa_version); 32bb01a673SMarc Bonnici uint64_t spmd_smc_switch_state(uint32_t smc_fid, 33bb01a673SMarc Bonnici bool secure_origin, 34bb01a673SMarc Bonnici uint64_t x1, 35bb01a673SMarc Bonnici uint64_t x2, 36bb01a673SMarc Bonnici uint64_t x3, 37bb01a673SMarc Bonnici uint64_t x4, 38c925867eSOlivier Deprez void *handle, 39*bb9fc8c0SJay Monkman uint64_t flags, 40*bb9fc8c0SJay Monkman uint32_t secure_ffa_version); 41bdd2596dSAchin Gupta #endif /* __ASSEMBLER__ */ 42bdd2596dSAchin Gupta 43bdd2596dSAchin Gupta #endif /* SPMD_SVC_H */ 44