From c81f201c8c4a6dc12e0987d01d129c509e492704 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Wed, 25 Aug 2010 13:23:32 +0000
Subject: [PATCH] added missing sef_gcov.c

---
 lib/libsys/sef_gcov.c | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 lib/libsys/sef_gcov.c

diff --git a/lib/libsys/sef_gcov.c b/lib/libsys/sef_gcov.c
new file mode 100644
index 000000000..dfc4a75ef
--- /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;
+}
-- 
2.44.0