added missing sef_gcov.c

lib/libsys/sef_gcov.c

@@ -0,0 +1,28 @@
+
+#include "syslib.h"
+#include <assert.h>
+#include <minix/sysutil.h>
+#include <minix/gcov.h>
+
+PRIVATE sef_cb_gcov_t sef_cb_gcov = do_gcov_flush_impl;
+
+/*===========================================================================*
+ *                            do_sef_gcov_request             		     *
+ *===========================================================================*/
+PUBLIC int do_sef_gcov_request(message *m_ptr)
+{
+	if(!sef_cb_gcov)
+		return ENOSYS;
+
+	sef_cb_gcov(m_ptr);
+
+	return OK;
+}
+
+/*===========================================================================*
+ *                            sef_setcb_gcov             		     *
+ *===========================================================================*/
+PUBLIC void sef_setcb_gcov(sef_cb_gcov_t cb)
+{
+	sef_cb_gcov = cb;
+}