Searched refs:free_host_timer_slot (Results 1 – 1 of 1) sorted by relevance
539 static inline void free_host_timer_slot(int id) in free_host_timer_slot() function13412 free_host_timer_slot(timer_index); in _syscall2()13419 free_host_timer_slot(timer_index); in _syscall2()13423 free_host_timer_slot(timer_index); in _syscall2()13559 free_host_timer_slot(timerid); in _syscall2()