#ifndef HOST_RTTHREAD_H
#define HOST_RTTHREAD_H
#include <stdint.h>
#include <stddef.h>
#include <string.h>
typedef uint8_t rt_uint8_t;
typedef int8_t rt_int8_t;
typedef uint16_t rt_uint16_t;
typedef int16_t rt_int16_t;
typedef uint32_t rt_uint32_t;
typedef int32_t rt_int32_t;
typedef uintptr_t rt_ubase_t;
typedef intptr_t rt_base_t;
typedef size_t rt_size_t;
typedef int rt_bool_t;
typedef int rt_err_t;
typedef uint32_t rt_tick_t;
typedef void *rt_device_t;
typedef void *rt_mutex_t;
typedef void *rt_event_t;
typedef void *rt_sem_t;
typedef void *rt_mailbox_t;
typedef void *rt_mq_t;
#define RT_NULL NULL
#define RT_TRUE 1
#define RT_FALSE 0
#define RT_WAITING_FOREVER (-1)
#define RT_TICK_PER_SECOND 1000
#define rt_memcpy memcpy
#define rt_memcmp memcmp
#define rt_memset memset
rt_tick_t rt_tick_get(void);
rt_tick_t rt_tick_from_millisecond(rt_int32_t ms);
int rt_kprintf(const char *format, ...);
rt_err_t rt_mutex_take(rt_mutex_t mutex, rt_int32_t timeout);
rt_err_t rt_mutex_release(rt_mutex_t mutex);
#endif