Searched refs:px_dvma_free_debug (Results 1 – 3 of 3) sorted by relevance
114 extern void px_dvma_free_debug(px_mmu_t *mmu_p, char *address, uint_t len,
311 px_dvma_free_debug(mmu_p, (char *)mp->dmai_mapping, in px_mmu_unmap_window()
1343 px_dvma_free_debug(px_mmu_t *mmu_p, char *address, uint_t len, in px_dvma_free_debug() function