1*bdd2596dSAchin Gupta /* 2*bdd2596dSAchin Gupta * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. 3*bdd2596dSAchin Gupta * 4*bdd2596dSAchin Gupta * SPDX-License-Identifier: BSD-3-Clause 5*bdd2596dSAchin Gupta */ 6*bdd2596dSAchin Gupta 7*bdd2596dSAchin Gupta #ifndef SPMD_SVC_H 8*bdd2596dSAchin Gupta #define SPMD_SVC_H 9*bdd2596dSAchin Gupta 10*bdd2596dSAchin Gupta #ifndef __ASSEMBLER__ 11*bdd2596dSAchin Gupta #include <services/spci_svc.h> 12*bdd2596dSAchin Gupta #include <stdint.h> 13*bdd2596dSAchin Gupta 14*bdd2596dSAchin Gupta int32_t spmd_setup(void); 15*bdd2596dSAchin Gupta uint64_t spmd_smc_handler(uint32_t smc_fid, 16*bdd2596dSAchin Gupta uint64_t x1, 17*bdd2596dSAchin Gupta uint64_t x2, 18*bdd2596dSAchin Gupta uint64_t x3, 19*bdd2596dSAchin Gupta uint64_t x4, 20*bdd2596dSAchin Gupta void *cookie, 21*bdd2596dSAchin Gupta void *handle, 22*bdd2596dSAchin Gupta uint64_t flags); 23*bdd2596dSAchin Gupta #endif /* __ASSEMBLER__ */ 24*bdd2596dSAchin Gupta 25*bdd2596dSAchin Gupta #endif /* SPMD_SVC_H */ 26