* buffer the stdio requests, and copy the buffer to this user
* space
*/
- _syscall(VFS_PROC_NR, GCOV_FLUSH, &msg);
- return;
+ return _syscall(VFS_PROC_NR, GCOV_FLUSH, &msg);
}
FILE *_gcov_fopen(char *name, char *mode)
{
- if(!gcov_enable) return;
+ if(!gcov_enable) return NULL;
assert(!gcov_opened);
{
int size = itemsize * nitems;
- if(!gcov_enable) return;
+ if(!gcov_enable) return NULL;
/* only have one file open at a time to ensure writes go
* to the right place.
int _gcov_fclose(FILE *stream)
{
- if(!gcov_enable) return;
+ if(!gcov_enable) return EOF;
add_int(GCOVOP_CLOSE);
assert(gcov_opened);