targets/beremiz.h
branchsvghmi
changeset 3295 0375d801fff7
parent 3294 e3db472b0dfb
child 3732 929276eea252
--- a/targets/beremiz.h	Mon Aug 16 22:49:08 2021 +0200
+++ b/targets/beremiz.h	Tue Aug 17 12:29:36 2021 +0200
@@ -30,5 +30,6 @@
 void delete_RT_to_nRT_signal(void* handle);
 int wait_RT_to_nRT_signal(void* handle);
 int unblock_RT_to_nRT_signal(void* handle);
+void nRT_reschedule(void);
 
 #endif