1 /*
2  * Copyright (c) 2018 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef __WRAPPER_H__
8 #define __WRAPPER_H__
9 
10 #include <zephyr/kernel.h>
11 #include <zephyr/portability/cmsis_types.h>
12 #include <zephyr/portability/cmsis_os2.h>
13 
14 #ifndef TRUE
15 #define TRUE 1
16 #endif
17 #ifndef FALSE
18 #define FALSE 0
19 #endif
20 
21 extern osThreadId_t get_cmsis_thread_id(k_tid_t tid);
22 extern void *is_cmsis_rtos_v2_thread(void *thread_id);
23 
24 #endif
25