Searched refs:timer_post (Results 1 – 1 of 1) sorted by relevance
250 static void timer_post(uint64_t ntimes, uint64_t *total_ticks) in timer_post() function316 {"timer_10ms", timer_prep, timer_exec, timer_post, 256, true},