mmu_demap_page 134 kernel/arch/sparc64/src/mm/sun4v/as.c mmu_demap_page(tsb, 0, MMU_FLAG_DTLB); mmu_demap_page 315 kernel/arch/sparc64/src/mm/sun4v/tlb.c mmu_demap_page(va, ctx, MMU_FLAG_DTLB);