Searched refs:picorsrc_disposeResourceManager (Results 1 – 3 of 3) sorted by relevance
100 void picorsrc_disposeResourceManager(picoos_MemoryManager mm, picorsrc_ResourceManager * this);
176 picorsrc_disposeResourceManager(sys->common->mm, &sys->rm); in pico_terminate()
247 void picorsrc_disposeResourceManager(picoos_MemoryManager mm, picorsrc_ResourceManager * this) in picorsrc_disposeResourceManager() function