--- Gnu-Mach/kern/eventcount.h	2020/09/02 04:36:56	1.1
+++ Gnu-Mach/kern/eventcount.h	2020/09/02 04:47:25	1.1.1.3
@@ -53,5 +53,12 @@ extern	void	evc_init(evc_t ev),
 /* kernel and user visible */
 
 extern	kern_return_t	evc_wait(natural_t ev_id);
+extern	kern_return_t 	evc_wait_clear(natural_t ev_id);
+
+#if  NCPUS <= 1
+void simpler_thread_setrun(
+	thread_t	th,
+	boolean_t	may_preempt);
+#endif
 
 #endif	/* _KERN_EVENTCOUNT_H_ */