lib/libminlib/gcov.c

   1 #include <sys/types.h>
   2 #include <stdio.h>
   3 #include <stdlib.h>
   4
   5 #include <minix/gcov.h>
   6
   7 int gcov_flush_svr(char *buff, int buff_sz, int server_nr)
   8 {
   9         message msg;
  10
  11         msg.GCOV_BUFF_P = buff;
  12         msg.GCOV_BUFF_SZ = buff_sz;
  13         msg.GCOV_PID = server_nr;
  14
  15         /* Make the call to server. It will call the gcov library,
  16          * buffer the stdio requests, and copy the buffer to this user
  17          * space
  18          */
  19         return _syscall(VFS_PROC_NR, GCOV_FLUSH, &msg);
  20 }
  21
  22
  23 /* wrappers for file system calls from gcc libgcov library.
  24    Default calls are wrapped. In libsys, an alternative
  25    implementation for servers is used.
  26 */
  27
  28 FILE *_gcov_fopen(char *name, char *mode){
  29         return fopen(name, mode);
  30 }
  31
  32
  33 size_t _gcov_fread(void *ptr, size_t itemsize, size_t nitems
  34         , FILE *stream){
  35         return fread(ptr, itemsize, nitems, stream);
  36 }
  37
  38 size_t _gcov_fwrite(void *ptr, size_t itemsize, size_t nitems
  39         , FILE *stream){
  40         return fwrite(ptr, itemsize, nitems, stream);
  41 }
  42
  43 int _gcov_fclose(FILE *stream){
  44         return fclose(stream);
  45 }
  46
  47 int _gcov_fseek(FILE *stream, long offset, int ptrname){
  48         return fseek(stream, offset, ptrname);
  49 }
  50
  51 char *_gcov_getenv(const char *name){
  52         return getenv(name);
  53 }
  54