1bdd2596dSAchin Gupta /* 2bdd2596dSAchin Gupta * Copyright (c) 2020, 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__ 11bdd2596dSAchin Gupta #include <services/spci_svc.h> 12bdd2596dSAchin Gupta #include <stdint.h> 13bdd2596dSAchin Gupta 14*0f14d02fSMax Shvetsov int spmd_setup(void); 15bdd2596dSAchin Gupta uint64_t spmd_smc_handler(uint32_t smc_fid, 16bdd2596dSAchin Gupta uint64_t x1, 17bdd2596dSAchin Gupta uint64_t x2, 18bdd2596dSAchin Gupta uint64_t x3, 19bdd2596dSAchin Gupta uint64_t x4, 20bdd2596dSAchin Gupta void *cookie, 21bdd2596dSAchin Gupta void *handle, 22bdd2596dSAchin Gupta uint64_t flags); 23bdd2596dSAchin Gupta #endif /* __ASSEMBLER__ */ 24bdd2596dSAchin Gupta 25bdd2596dSAchin Gupta #endif /* SPMD_SVC_H */ 26