vg_scheduler.c, which does.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3663
Running stuff
------------------------------------------------------------------ */
-/* Counts downwards in VG_(run_innerloop). */
-UInt VG_(dispatch_ctr);
-
/* 64-bit counter for the number of basic blocks done. */
ULong VG_(bbs_done) = 0;
/* If true, a fault is Valgrind-internal (ie, a bug) */
Bool VG_(my_fault) = True;
+/* Counts downwards in VG_(run_innerloop). */
+UInt VG_(dispatch_ctr);
+
/* Forwards */
static void do_client_request ( ThreadId tid );
static void scheduler_sanity ( ThreadId tid );