1 /*
2  * Copyright (c) 2024 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _TEST_EDK_H_
8 #define _TEST_EDK_H_
9 #include <zephyr/kernel.h>
10 #include <zephyr/toolchain.h>
11 
12 #include <stddef.h>
13 
14 #ifdef __cplusplus
15 extern "C" {
16 #endif
17 
18 	enum Channels {
19 		CHAN_TICK = 1,
20 		CHAN_LAST
21 	};
22 
23 	struct channel_tick_data {
24 		unsigned long l;
25 	};
26 
27 	__syscall int publish(enum Channels channel, void *data,
28 			      size_t data_len);
29 	__syscall int receive(enum Channels channel, void *data,
30 			      size_t data_len);
31 	__syscall int register_subscriber(enum Channels channel,
32 			      struct k_event *evt);
33 #ifdef __cplusplus
34 }
35 #endif
36 
37 #include <zephyr/syscalls/app_api.h>
38 #endif /* _TEST_EDK_H_ */
39