Scheduler counts don't need to be in vg_include.h. Replace with a print
function.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2551 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/vg_include.h b/coregrind/vg_include.h
index c6d45b7..f5b8669 100644
--- a/coregrind/vg_include.h
+++ b/coregrind/vg_include.h
@@ -1358,10 +1358,7 @@
/* Number of unchained jumps performed. */
extern UInt VG_(unchained_jumps_done);
-
-/* Counts pertaining to the scheduler. */
-extern UInt VG_(num_scheduling_events_MINOR);
-extern UInt VG_(num_scheduling_events_MAJOR);
+extern void VG_(print_scheduler_stats) ( void );
/* ---------------------------------------------------------------------
Exports of vg_memory.c