Searched refs:foreign_loop (Results 1 – 2 of 2) sorted by relevance
170 foreign_timer_service(void *foreign_loop) in foreign_timer_service() argument191 foreign_loops[0] = foreign_loop; in foreign_timer_service()
12 void foreign_timer_service(void *foreign_loop);