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