Added VG_(rename) (untested), and made VG_(bbs_done) visible to skins, both at
the request of Josef Weidendorfer for his KCachegrind stuff.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1231 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/vg_skin.h b/include/vg_skin.h
index ceb2536..46cc838 100644
--- a/include/vg_skin.h
+++ b/include/vg_skin.h
@@ -218,6 +218,9 @@
/* ------------------------------------------------------------------ */
/* General stuff */
+/* 64-bit counter for the number of basic blocks done. */
+extern ULong VG_(bbs_done);
+
/* Get the simulated %esp */
extern Addr VG_(get_stack_pointer) ( void );
@@ -282,6 +285,8 @@
extern void VG_(vprintf) ( void(*send)(Char),
const Char *format, va_list vargs );
+extern Int VG_(rename) ( Char* old_name, Char* new_name );
+
/* ------------------------------------------------------------------ */
/* stdlib.h */
@@ -362,6 +367,7 @@
extern Int VG_(write) ( Int fd, void* buf, Int count);
extern void VG_(close) ( Int fd );
+/* Nb: VG_(rename)() declared in stdio.h section above */
extern Int VG_(unlink) ( Char* file_name );
extern Int VG_(stat) ( Char* file_name, struct vki_stat* buf );