#include <string.h>

#include "cmsis_os2.h"                  // ::CMSIS:RTOS2
#include "cmsis_compiler.h"             // Compiler agnostic definitions

#include "FreeRTOS.h"                   // ARM.FreeRTOS::RTOS:Core
#include "task.h"                       // ARM.FreeRTOS::RTOS:Core
#include "event_groups.h"               // ARM.FreeRTOS::RTOS:Event Groups
#include "semphr.h"                     // ARM.FreeRTOS::RTOS:Core

#include "freertos_mpool.h"             // osMemoryPool definitions
#include "freertos_os2.h"               // Configuration check and setup
#include "systickcounter.h"

#include "ext_telematica.h"


osThreadId_t osThreadNew(osThreadFunc_t func, void *argument, const osThreadAttr_t *attr) {
    return EXT_ENV_TELE.osFreeRTOS.osThreadNew(func, argument, attr);
}

osStatus_t osThreadSuspend(osThreadId_t thread_id) {
    return EXT_ENV_TELE.osFreeRTOS.osThreadSuspend(thread_id);
}

osStatus_t osThreadTerminate(osThreadId_t thread_id) {
    return EXT_ENV_TELE.osFreeRTOS.osThreadTerminate(thread_id);
}

osStatus_t osThreadResume(osThreadId_t thread_id) {
    return EXT_ENV_TELE.osFreeRTOS.osThreadResume(thread_id);
}

osMutexId_t osMutexNew (const osMutexAttr_t *attr) {
    return EXT_ENV_TELE.osFreeRTOS.osMutexNew(attr);
}

osMessageQueueId_t osMessageQueueNew(uint32_t msg_count, uint32_t msg_size, const osMessageQueueAttr_t *attr) {
    return EXT_ENV_TELE.osFreeRTOS.osMessageQueueNew(msg_count, msg_size, attr);
}

osStatus_t osMutexAcquire(osMutexId_t mutex_id, uint32_t timeout) {
    return EXT_ENV_TELE.osFreeRTOS.osMutexAcquire(mutex_id, timeout);
}

osStatus_t osMutexRelease(osMutexId_t mutex_id) {
    return EXT_ENV_TELE.osFreeRTOS.osMutexRelease(mutex_id);
}

osStatus_t osMessageQueuePut (osMessageQueueId_t mq_id, const void *msg_ptr, uint8_t msg_prio, uint32_t timeout) {
    return EXT_ENV_TELE.osFreeRTOS.osMessageQueuePut(mq_id, msg_ptr, msg_prio, timeout);
}

osStatus_t osMessageQueueGet (osMessageQueueId_t mq_id, void *msg_ptr, uint8_t *msg_prio, uint32_t timeout) {
    return EXT_ENV_TELE.osFreeRTOS.osMessageQueueGet(mq_id, msg_ptr, msg_prio, timeout);
}

osStatus_t osMessageQueueReset (osMessageQueueId_t mq_id) {
    return EXT_ENV_TELE.osFreeRTOS.osMessageQueueReset(mq_id);
}

uint32_t osMessageQueueGetSpace (osMessageQueueId_t mq_id) {
    return EXT_ENV_TELE.osFreeRTOS.osMessageQueueGetSpace(mq_id);
}

uint32_t osMessageQueueGetCount (osMessageQueueId_t mq_id) {
    return EXT_ENV_TELE.osFreeRTOS.osMessageQueueGetCount(mq_id);
}