Searched refs:platFreeResources (Results 1 – 4 of 4) sorted by relevance
63 uint32_t platFreeResources(uint32_t tid) in platFreeResources() function
41 uint32_t platFreeResources(uint32_t tid);
683 uint32_t platFreeResources(uint32_t tid) in platFreeResources() function
359 platFreeResources(tid); // HW resources cleanup (IRQ, DMA etc) in osTaskEnd()