Searched refs:scheduler_sanity (Results 1 – 1 of 1) sorted by relevance
126 static void scheduler_sanity ( ThreadId tid );1315 scheduler_sanity(tid); in VG_()2167 void scheduler_sanity ( ThreadId tid ) in scheduler_sanity() function