Searched refs:idle_cb_called (Results 1 – 1 of 1) sorted by relevance
30 static int idle_cb_called = 0; variable57 idle_cb_called++; in idle_cb()58 fprintf(stderr, "idle_cb %d\n", idle_cb_called); in idle_cb()93 ASSERT(idle_cb_called > 0); in TEST_IMPL()