Searched refs:free_host_timer_slot (Results 1 – 1 of 1) sorted by relevance
540 static inline void free_host_timer_slot(int id) in free_host_timer_slot() function13509 free_host_timer_slot(timer_index); in _syscall2()13516 free_host_timer_slot(timer_index); in _syscall2()13520 free_host_timer_slot(timer_index); in _syscall2()13656 free_host_timer_slot(timerid); in _syscall2()