Searched refs:next_free_host_timer (Results 1 – 1 of 1) sorted by relevance
527 static inline int next_free_host_timer(void) in next_free_host_timer() function13272 int timer_index = next_free_host_timer(); in _syscall2()