GC_repeat_read    303 gc/dyn_load.c  extern ssize_t GC_repeat_read(int fd, char *buf, size_t count);
GC_repeat_read    225 gc/os_dep.c    	        result = GC_repeat_read(f, maps_buf, maps_buf_sz-1);