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() function13512 free_host_timer_slot(timer_index); in _syscall2()13519 free_host_timer_slot(timer_index); in _syscall2()13523 free_host_timer_slot(timer_index); in _syscall2()13659 free_host_timer_slot(timerid); in _syscall2()