added missing sef_gcov.c

diff --git a/lib/libsys/sef_gcov.c b/lib/libsys/sef_gcov.c
new file mode 100644 (file)
index 0000000..dfc4a75
--- /dev/null
+++ b/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;
+}