equal
deleted
inserted
replaced
30 void delete_RT_to_nRT_signal(void* handle); |
30 void delete_RT_to_nRT_signal(void* handle); |
31 int wait_RT_to_nRT_signal(void* handle); |
31 int wait_RT_to_nRT_signal(void* handle); |
32 int unblock_RT_to_nRT_signal(void* handle); |
32 int unblock_RT_to_nRT_signal(void* handle); |
33 void nRT_reschedule(void); |
33 void nRT_reschedule(void); |
34 |
34 |
|
35 |
|
36 #ifdef REALTIME_LINUX |
|
37 |
|
38 #ifndef PLC_THREAD_PRIORITY |
|
39 #define PLC_THREAD_PRIORITY 80 |
35 #endif |
40 #endif |
|
41 |
|
42 #endif |
|
43 |
|
44 #endif |