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