48
50
extern Int VG_(rename) ( Char* old_name, Char* new_name );
49
51
extern Int VG_(unlink) ( Char* file_name );
54
53
extern Int VG_(readlink)( Char* path, Char* buf, UInt bufsize );
55
54
extern Int VG_(getdents)( UInt fd, struct vki_dirent *dirp, UInt count );
57
60
#endif // __PUB_TOOL_LIBCFILE_H
59
62
/*--------------------------------------------------------------------*/