#define MPU_PROTOTYPES_H

MPU_xTaskCreate(TaskFunction_t, const char *const, uint16_t, void *, UBaseType_t, TaskHandle_t *);

MPU_xTaskCreateStatic(TaskFunction_t, const char *const, const uint32_t, void *const, UBaseType_t, StackType_t *const, StaticTask_t *const);

MPU_xTaskCreateRestricted(const TaskParameters_t *const, TaskHandle_t *);

MPU_xTaskCreateRestrictedStatic(const TaskParameters_t *const, TaskHandle_t *);

MPU_vTaskAllocateMPURegions(TaskHandle_t, const MemoryRegion_t *const);

MPU_vTaskDelete(TaskHandle_t);

MPU_vTaskDelay(TickType_t);

MPU_vTaskDelayUntil(TickType_t *const, TickType_t);

MPU_xTaskAbortDelay(TaskHandle_t);

MPU_uxTaskPriorityGet(const TaskHandle_t);

MPU_eTaskGetState(TaskHandle_t);

MPU_vTaskGetInfo(TaskHandle_t, TaskStatus_t *, BaseType_t, eTaskState);

MPU_vTaskPrioritySet(TaskHandle_t, UBaseType_t);

MPU_vTaskSuspend(TaskHandle_t);

MPU_vTaskResume(TaskHandle_t);

MPU_vTaskStartScheduler();

MPU_vTaskSuspendAll();

MPU_xTaskResumeAll();

MPU_xTaskGetTickCount();

MPU_uxTaskGetNumberOfTasks();

MPU_pcTaskGetName(TaskHandle_t);

MPU_xTaskGetHandle(const char *);

MPU_uxTaskGetStackHighWaterMark(TaskHandle_t);

MPU_uxTaskGetStackHighWaterMark2(TaskHandle_t);

MPU_vTaskSetApplicationTaskTag(TaskHandle_t, TaskHookFunction_t);

MPU_xTaskGetApplicationTaskTag(TaskHandle_t);

MPU_vTaskSetThreadLocalStoragePointer(TaskHandle_t, BaseType_t, void *);

MPU_pvTaskGetThreadLocalStoragePointer(TaskHandle_t, BaseType_t);

MPU_xTaskCallApplicationTaskHook(TaskHandle_t, void *);

MPU_xTaskGetIdleTaskHandle();

MPU_uxTaskGetSystemState(TaskStatus_t *, UBaseType_t, uint32_t *);

MPU_ulTaskGetIdleRunTimeCounter();

MPU_vTaskList(char *);

MPU_vTaskGetRunTimeStats(char *);

MPU_xTaskGenericNotify(TaskHandle_t, uint32_t, eNotifyAction, uint32_t *);

MPU_xTaskNotifyWait(uint32_t, uint32_t, uint32_t *, TickType_t);

MPU_ulTaskNotifyTake(BaseType_t, TickType_t);

MPU_xTaskNotifyStateClear(TaskHandle_t);

MPU_ulTaskNotifyValueClear(TaskHandle_t, uint32_t);

MPU_xTaskIncrementTick();

MPU_xTaskGetCurrentTaskHandle();

MPU_vTaskSetTimeOutState(TimeOut_t *const);

MPU_xTaskCheckForTimeOut(TimeOut_t *const, TickType_t *const);

MPU_vTaskMissedYield();

MPU_xTaskGetSchedulerState();

MPU_xTaskCatchUpTicks(TickType_t);

MPU_xQueueGenericSend(QueueHandle_t, const void *const, TickType_t, BaseType_t);

MPU_xQueueReceive(QueueHandle_t, void *const, TickType_t);

MPU_xQueuePeek(QueueHandle_t, void *const, TickType_t);

MPU_xQueueSemaphoreTake(QueueHandle_t, TickType_t);

MPU_uxQueueMessagesWaiting(const QueueHandle_t);

MPU_uxQueueSpacesAvailable(const QueueHandle_t);

MPU_vQueueDelete(QueueHandle_t);

MPU_xQueueCreateMutex(const uint8_t);

MPU_xQueueCreateMutexStatic(const uint8_t, StaticQueue_t *);

MPU_xQueueCreateCountingSemaphore(UBaseType_t, UBaseType_t);

MPU_xQueueCreateCountingSemaphoreStatic(const UBaseType_t, const UBaseType_t, StaticQueue_t *);

MPU_xQueueGetMutexHolder(QueueHandle_t);

MPU_xQueueTakeMutexRecursive(QueueHandle_t, TickType_t);

MPU_xQueueGiveMutexRecursive(QueueHandle_t);

MPU_vQueueAddToRegistry(QueueHandle_t, const char *);

MPU_vQueueUnregisterQueue(QueueHandle_t);

MPU_pcQueueGetName(QueueHandle_t);

MPU_xQueueGenericCreate(UBaseType_t, UBaseType_t, uint8_t);

MPU_xQueueGenericCreateStatic(const UBaseType_t, const UBaseType_t, uint8_t *, StaticQueue_t *, const uint8_t);

MPU_xQueueCreateSet(UBaseType_t);

MPU_xQueueAddToSet(QueueSetMemberHandle_t, QueueSetHandle_t);

MPU_xQueueRemoveFromSet(QueueSetMemberHandle_t, QueueSetHandle_t);

MPU_xQueueSelectFromSet(QueueSetHandle_t, TickType_t);

MPU_xQueueGenericReset(QueueHandle_t, BaseType_t);

MPU_vQueueSetQueueNumber(QueueHandle_t, UBaseType_t);

MPU_uxQueueGetQueueNumber(QueueHandle_t);

MPU_ucQueueGetQueueType(QueueHandle_t);

MPU_xTimerCreate(const char *const, const TickType_t, const UBaseType_t, void *const, TimerCallbackFunction_t);

MPU_xTimerCreateStatic(const char *const, const TickType_t, const UBaseType_t, void *const, TimerCallbackFunction_t, StaticTimer_t *);

MPU_pvTimerGetTimerID(const TimerHandle_t);

MPU_vTimerSetTimerID(TimerHandle_t, void *);

MPU_xTimerIsTimerActive(TimerHandle_t);

MPU_xTimerGetTimerDaemonTaskHandle();

MPU_xTimerPendFunctionCall(PendedFunction_t, void *, uint32_t, TickType_t);

MPU_pcTimerGetName(TimerHandle_t);

MPU_vTimerSetReloadMode(TimerHandle_t, const UBaseType_t);

MPU_uxTimerGetReloadMode(TimerHandle_t);

MPU_xTimerGetPeriod(TimerHandle_t);

MPU_xTimerGetExpiryTime(TimerHandle_t);

MPU_xTimerCreateTimerTask();

MPU_xTimerGenericCommand(TimerHandle_t, const BaseType_t, const TickType_t, BaseType_t *const, const TickType_t);

MPU_xEventGroupCreate();

MPU_xEventGroupCreateStatic(StaticEventGroup_t *);

MPU_xEventGroupWaitBits(EventGroupHandle_t, const EventBits_t, const BaseType_t, const BaseType_t, TickType_t);

MPU_xEventGroupClearBits(EventGroupHandle_t, const EventBits_t);

MPU_xEventGroupSetBits(EventGroupHandle_t, const EventBits_t);

MPU_xEventGroupSync(EventGroupHandle_t, const EventBits_t, const EventBits_t, TickType_t);

MPU_vEventGroupDelete(EventGroupHandle_t);

MPU_uxEventGroupGetNumber(void *);

MPU_xStreamBufferSend(StreamBufferHandle_t, const void *, size_t, TickType_t);

MPU_xStreamBufferReceive(StreamBufferHandle_t, void *, size_t, TickType_t);

MPU_xStreamBufferNextMessageLengthBytes(StreamBufferHandle_t);

MPU_vStreamBufferDelete(StreamBufferHandle_t);

MPU_xStreamBufferIsFull(StreamBufferHandle_t);

MPU_xStreamBufferIsEmpty(StreamBufferHandle_t);

MPU_xStreamBufferReset(StreamBufferHandle_t);

MPU_xStreamBufferSpacesAvailable(StreamBufferHandle_t);

MPU_xStreamBufferBytesAvailable(StreamBufferHandle_t);

MPU_xStreamBufferSetTriggerLevel(StreamBufferHandle_t, size_t);

MPU_xStreamBufferGenericCreate(size_t, size_t, BaseType_t);

MPU_xStreamBufferGenericCreateStatic(size_t, size_t, BaseType_t, uint8_t *const, StaticStreamBuffer_t *const);