1 /* 2 * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef SPMD_SVC_H 8 #define SPMD_SVC_H 9 10 #ifndef __ASSEMBLER__ 11 #include <services/ffa_svc.h> 12 #include <stdint.h> 13 14 int spmd_setup(void); 15 uint64_t spmd_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); 23 #endif /* __ASSEMBLER__ */ 24 25 #endif /* SPMD_SVC_H */ 26