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