HALFRED  0.4.0
hal_os.h
Go to the documentation of this file.
1 
10 #ifndef HAL_OS_H
11 #define HAL_OS_H
12 
13 #include "hal_port_os.h"
14 
35 
36 
40 void OS_Start(void);
41 
45 void OS_Stop(void);
46 
51 void OS_Sleep(OSTime time);
52 
57 void OS_SleepUntil(OSTime time);
58 
63 OSTime OS_GetSystemTime(void);
64 
68 // -----------------------------------------------------------------------------
69 // TASK API
70 // -----------------------------------------------------------------------------
71 #include "hal_os_task.h"
72 
73 // -----------------------------------------------------------------------------
74 // BINARY SEMAPHORE API
75 // -----------------------------------------------------------------------------
76 #include "hal_os_sem.h"
77 
78 // -----------------------------------------------------------------------------
79 // COUNTING SEMAPHORE API
80 // -----------------------------------------------------------------------------
81 #include "hal_os_cntsem.h"
82 
83 // -----------------------------------------------------------------------------
84 // MUTUAL EXCLUSION SEMAPHORE (MUTEX) API
85 // -----------------------------------------------------------------------------
86 #include "hal_os_mutex.h"
87 
88 // -----------------------------------------------------------------------------
89 // RECURSIVE MUTUAL EXCLUSION SEMAPHORE (RECURSIVE MUTEX) API
90 // -----------------------------------------------------------------------------
91 #include "hal_os_recursive_mutex.h"
92 
93 // -----------------------------------------------------------------------------
94 // QUEUE API
95 // -----------------------------------------------------------------------------
96 #include "hal_os_queue.h"
97 
98 // -----------------------------------------------------------------------------
99 // CALENDAR TIME (CALTIME) API
100 // -----------------------------------------------------------------------------
101 #include "hal_os_caltime.h"
102 
103 
109 #endif // HAL_OS_H
OS task API.
OS calendar time API.
OS semaphore API.
OS counting semaphore time API.
void OS_SleepUntil(OSTime time)
void OS_Sleep(OSTime time)
OS recursive mutex API.
void OS_Stop(void)
OS queue API.
OS mutex API.
void OS_Start(void)
OSTime OS_GetSystemTime(void)