#ifndef K12_HOST_FREERTOS_H
#define K12_HOST_FREERTOS_H
#include <stdint.h>
typedef int32_t BaseType_t;
typedef uint32_t UBaseType_t;
typedef uint32_t TickType_t;
typedef void * TaskHandle_t;
struct MockSemaphore
{
    UBaseType_t count;
    UBaseType_t maximum;
};
typedef struct MockSemaphore * SemaphoreHandle_t;
typedef struct MockSemaphore StaticSemaphore_t;
#define pdFALSE ( ( BaseType_t ) 0 )
#define pdTRUE ( ( BaseType_t ) 1 )
#define pdFAIL ( ( BaseType_t ) 0 )
#define pdPASS ( ( BaseType_t ) 1 )
#endif