Lines Matching refs:picoos_deallocProtMem
445 void picoos_deallocProtMem(picoos_MemoryManager mm, void **addr)
