#include <sys/types.h>
#include <lib.h>
#include <stdlib.h>
#include <minix/syslib.h>

/* opcodes for use in gcov buffer */
#define GCOVOP_OPEN	23
#define GCOVOP_WRITE	24
#define GCOVOP_CLOSE	25
#define GCOVOP_END	26

/* More information on the GCOV Minix Wiki page. */

int gcov_flush_svr(char *buff, int buff_sz, int server_nr);
extern void __gcov_flush (void);
int do_gcov_flush_impl(message *msg);