519   static char* native_path(char *path);

   519   static char* native_path(char *path);

   520   static int ftruncate(int fd, jlong length);

   520   static int ftruncate(int fd, jlong length);

   521   static int fsync(int fd);

   521   static int fsync(int fd);

   522   static int available(int fd, jlong *bytes);

   522   static int available(int fd, jlong *bytes);

   523   static int get_fileno(FILE* fp);

   523   static int get_fileno(FILE* fp);

   524 

   526 

   525   static int compare_file_modified_times(const char* file1, const char* file2);

   527   static int compare_file_modified_times(const char* file1, const char* file2);

   526 

   528 

   527   //File i/o operations

   529   //File i/o operations

   528 

   530