--- Gnu-Mach/kern/eventcount.h	2020/09/02 04:36:56	1.1.1.1
+++ Gnu-Mach/kern/eventcount.h	2020/09/02 04:45:12	1.1.1.2
@@ -54,4 +54,6 @@ extern	void	evc_init(evc_t ev),
 
 extern	kern_return_t	evc_wait(natural_t ev_id);
 
+extern void evc_notify_abort (thread_t thread);
+
 #endif	/* _KERN_EVENTCOUNT_H_ */