1 #ifndef LIBOS_OS_H__
2 #define LIBOS_OS_H__
3 
4 #include <rtdef.h>
5 #include <rthw.h>
6 #include <cpuport.h>
7 
8 // typedef rt_sem_t OS_Semaphore_t;
9 
10 #define isb() rt_hw_isb()
11 #define dsb(v) rt_hw_dsb()
12 
13 #define ENTER_CRITICAL(flag)    rt_hw_interrupt_disable()
14 #define EXIT_CRITICAL(flag)     rt_hw_interrupt_enable(flag)
15 
16 int32_t esCFG_GetKeyValue(char *SecName, char *KeyName, int32_t Value[], int32_t Count);
17 int32_t esCFG_GetGPIOSecKeyCount(char *GPIOSecName);
18 int32_t esCFG_GetGPIOSecData(char *GPIOSecName, void *pGPIOCfg, int32_t GPIONum);
19 
20 #endif
21