Searched refs:time_push (Results 1 – 3 of 3) sorted by relevance
21 void time_push(void *tv_rel, void *tv_start);
919 time_push(void *tv_rel, void *tv_start) in time_push() function
1278 time_push(&tv_rel, &tv_start); in do_source()