1 #include <lib.h> 2 #include <string.h> 3 #include <minix/gcov.h> 4 5 int gcov_flush_svr(char *buff, int buff_sz, int server_nr) 6 { 7 message m; 8 9 memset(&m, 0, sizeof(m)); 10 m.m_lc_vfs_gcov.buff_p = (vir_bytes)buff; 11 m.m_lc_vfs_gcov.buff_sz = buff_sz; 12 m.m_lc_vfs_gcov.pid = server_nr; 13 14 /* Make the call to server. It will call the gcov library, 15 * buffer the stdio requests, and copy the buffer to this user 16 * space 17 */ 18 return _syscall(VFS_PROC_NR, VFS_GCOV_FLUSH, &m); 19 } 20