Searched refs:px_dvma_debug_fini (Results 1 – 3 of 3) sorted by relevance
111 extern void px_dvma_debug_fini(px_mmu_t *mmu_p);
165 px_dvma_debug_fini(mmu_p); in px_mmu_detach()
1277 px_dvma_debug_fini(px_mmu_t *mmu_p) in px_dvma_debug_fini() function1319 px_dvma_debug_fini(mmu_p); in px_dvma_alloc_debug()1352 px_dvma_debug_fini(mmu_p); in px_dvma_free_debug()