Searched refs:px_mmu_detach (Results 1 – 3 of 3) sorted by relevance
128 extern void px_mmu_detach(px_t *px_p);
150 px_mmu_detach(px_t *px_p) in px_mmu_detach() function
397 px_mmu_detach(px_p); in px_attach()508 px_mmu_detach(px_p); in px_detach()