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