Searched refs:platFreeResources (Results 1 – 4 of 4) sorted by relevance
63 uint32_t platFreeResources(uint32_t tid) in platFreeResources() function
42 uint32_t platFreeResources(uint32_t tid);
694 uint32_t platFreeResources(uint32_t tid) in platFreeResources() function
313 platErr = platFreeResources(taskTid); // HW resources cleanup (IRQ, DMA etc) in osTaskRelease()