1*54fd6939SJiyong Park /* 2*54fd6939SJiyong Park * Copyright (c) 2021, ARM Limited and Contributors. All rights reserved. 3*54fd6939SJiyong Park * 4*54fd6939SJiyong Park * SPDX-License-Identifier: BSD-3-Clause 5*54fd6939SJiyong Park */ 6*54fd6939SJiyong Park 7*54fd6939SJiyong Park #ifndef RMMD_SVC_H 8*54fd6939SJiyong Park #define RMMD_SVC_H 9*54fd6939SJiyong Park 10*54fd6939SJiyong Park #ifndef __ASSEMBLER__ 11*54fd6939SJiyong Park #include <stdint.h> 12*54fd6939SJiyong Park 13*54fd6939SJiyong Park int rmmd_setup(void); 14*54fd6939SJiyong Park uint64_t rmmd_rmi_handler(uint32_t smc_fid, 15*54fd6939SJiyong Park uint64_t x1, 16*54fd6939SJiyong Park uint64_t x2, 17*54fd6939SJiyong Park uint64_t x3, 18*54fd6939SJiyong Park uint64_t x4, 19*54fd6939SJiyong Park void *cookie, 20*54fd6939SJiyong Park void *handle, 21*54fd6939SJiyong Park uint64_t flags); 22*54fd6939SJiyong Park 23*54fd6939SJiyong Park uint64_t rmmd_gtsi_handler(uint32_t smc_fid, 24*54fd6939SJiyong Park uint64_t x1, 25*54fd6939SJiyong Park uint64_t x2, 26*54fd6939SJiyong Park uint64_t x3, 27*54fd6939SJiyong Park uint64_t x4, 28*54fd6939SJiyong Park void *cookie, 29*54fd6939SJiyong Park void *handle, 30*54fd6939SJiyong Park uint64_t flags); 31*54fd6939SJiyong Park 32*54fd6939SJiyong Park #endif /* __ASSEMBLER__ */ 33*54fd6939SJiyong Park 34*54fd6939SJiyong Park #endif /* RMMD_SVC_H */ 35