#ifndef K12_HOST_SEMPHR_H
#define K12_HOST_SEMPHR_H
#include "FreeRTOS.h"
#ifdef __cplusplus
extern "C" {
#endif
SemaphoreHandle_t xSemaphoreCreateBinaryStatic( StaticSemaphore_t * );
SemaphoreHandle_t xSemaphoreCreateCountingStatic( UBaseType_t, UBaseType_t, StaticSemaphore_t * );
BaseType_t xSemaphoreTake( SemaphoreHandle_t, TickType_t );
BaseType_t xSemaphoreGive( SemaphoreHandle_t );
UBaseType_t uxSemaphoreGetCount( SemaphoreHandle_t );
void vSemaphoreDelete( SemaphoreHandle_t );
#ifdef __cplusplus
}
#endif
#endif