equal
deleted
inserted
replaced
181 } |
181 } |
182 |
182 |
183 int unblock_RT_to_nRT_signal(void* handle){ |
183 int unblock_RT_to_nRT_signal(void* handle){ |
184 int ret = send_RT_to_nRT_signal(handle, 0); |
184 int ret = send_RT_to_nRT_signal(handle, 0); |
185 return (ret == 1) ? 0 : ((ret == 0) ? EINVAL : -ret); |
185 return (ret == 1) ? 0 : ((ret == 0) ? EINVAL : -ret); |
|
186 } |
|
187 |
|
188 void nRT_reschedule(void){ |
|
189 sched_yield(); |
186 } |
190 } |
187 |
191 |
188 void PLC_cleanup_all(void) |
192 void PLC_cleanup_all(void) |
189 { |
193 { |
190 if (PLC_state & PLC_STATE_TASK_CREATED) { |
194 if (PLC_state & PLC_STATE_TASK_CREATED) { |