Searched refs:next_free_host_timer (Results 1 – 1 of 1) sorted by relevance
532 static inline int next_free_host_timer(void)13775 int timer_index = next_free_host_timer(); in _syscall2() 534 static inline int next_free_host_timer(void) next_free_host_timer() function