4 #include <minix/sysutil.h>
5 #include <minix/gcov.h>
7 static sef_cb_gcov_t sef_cb_gcov
= SEF_CB_GCOV_FLUSH_DEFAULT
;
9 int do_sef_gcov_request(message
*);
11 /*===========================================================================*
12 * do_sef_gcov_request *
13 *===========================================================================*/
14 int do_sef_gcov_request(message
*m_ptr
)
24 /*===========================================================================*
26 *===========================================================================*/
27 void sef_setcb_gcov(sef_cb_gcov_t cb
)