Searched refs:resource_id_put (Results 1 – 4 of 4) sorted by relevance
31 void resource_id_put(resource_id_t *mgr, int no);
50 void resource_id_put(resource_id_t *mgr, int no) in resource_id_put() function
701 resource_id_put(&id_mgr, pipe->pipeno); in rt_pipe_delete()754 resource_id_put(&id_mgr, pipeno); in pipe()
1071 resource_id_put(&id_timer, ktimerid); in timer_delete()
Completed in 8 milliseconds