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);
681 uint32_t platFreeResources(uint32_t tid) in platFreeResources() function
297 platFreeResources(tid); // HW resources cleanup (IRQ, DMA etc) in osTaskRelease()