Don't use the VGP_ for profiling any more, just use VG_ -- we want to use
VGP_ for platform-specific things.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3435 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/core.h b/coregrind/core.h
index 37b5a61..1600041 100644
--- a/coregrind/core.h
+++ b/coregrind/core.h
@@ -283,13 +283,13 @@
Profiling stuff
------------------------------------------------------------------ */
-extern void VGP_(init_profiling) ( void );
-extern void VGP_(done_profiling) ( void );
+extern void VG_(init_profiling) ( void );
+extern void VG_(done_profiling) ( void );
#undef VGP_PUSHCC
#undef VGP_POPCC
-#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
-#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
+#define VGP_PUSHCC(x) if (VG_(clo_profile)) VG_(pushcc)(x)
+#define VGP_POPCC(x) if (VG_(clo_profile)) VG_(popcc)(x)
/* ---------------------------------------------------------------------