pal_plat_rtos.h

Go to the documentation of this file.

/*******************************************************************************
 * Copyright 2016, 2017 ARM Ltd.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *******************************************************************************/


#ifndef _PAL_PLAT_RTOS_H
#define _PAL_PLAT_RTOS_H

#ifdef __cplusplus
extern "C" {
#endif

#include "pal.h"


void pal_plat_osReboot(void);

void pal_plat_osApplicationReboot(void);

palStatus_t pal_plat_RTOSInitialize(void* opaqueContext);

palStatus_t pal_plat_RTOSDestroy(void);

uint64_t pal_plat_osKernelSysTick(void);

uint64_t pal_plat_osKernelSysTickMicroSec(uint64_t microseconds);

uint64_t pal_plat_osKernelSysTickFrequency(void);

palStatus_t pal_plat_osThreadCreate(palThreadFuncPtr function, void* funcArgument, palThreadPriority_t priority, uint32_t stackSize, palThreadID_t* threadID);

palStatus_t pal_plat_osThreadTerminate(palThreadID_t* threadID);

palThreadID_t pal_plat_osThreadGetId(void);

palStatus_t pal_plat_osDelay(uint32_t milliseconds);

palStatus_t pal_plat_osTimerCreate(palTimerFuncPtr function, void* funcArgument, palTimerType_t timerType, palTimerID_t* timerID);

palStatus_t pal_plat_osTimerStart(palTimerID_t timerID, uint32_t millisec);

palStatus_t pal_plat_osTimerStop(palTimerID_t timerID);

palStatus_t pal_plat_osTimerDelete(palTimerID_t* timerID);

palStatus_t pal_plat_osMutexCreate(palMutexID_t* mutexID);

palStatus_t pal_plat_osMutexWait(palMutexID_t mutexID, uint32_t millisec);

palStatus_t pal_plat_osMutexRelease(palMutexID_t mutexID);

palStatus_t pal_plat_osMutexDelete(palMutexID_t* mutexID);

palStatus_t pal_plat_osSemaphoreCreate(uint32_t count, palSemaphoreID_t* semaphoreID);

palStatus_t pal_plat_osSemaphoreWait(palSemaphoreID_t semaphoreID, uint32_t millisec, int32_t* countersAvailable);

palStatus_t pal_plat_osSemaphoreRelease(palSemaphoreID_t semaphoreID);

palStatus_t pal_plat_osSemaphoreDelete(palSemaphoreID_t* semaphoreID);


int32_t pal_plat_osAtomicIncrement(int32_t* valuePtr, int32_t increment);

void *pal_plat_malloc(size_t len);

void pal_plat_free(void * buffer);


palStatus_t pal_plat_osGetRoTFromHW(uint8_t *keyBuf, size_t keyLenBytes);

palStatus_t pal_plat_osSetRtcTime(uint64_t rtcSetTime);

palStatus_t pal_plat_osGetRtcTime(uint64_t *rtcGetTime);


palStatus_t pal_plat_rtcDeInit(void);


palStatus_t pal_plat_rtcInit(void);

#ifdef __cplusplus
}
#endif
#endif //_PAL_PLAT_RTOS_H