128,9 → 128,7 |
* to map both TSBs explicitly. |
*/ |
mmu_demap_page(tsb, 0, MMU_FLAG_DTLB); |
mmu_map_perm_addr( |
tsb, KA2PA(tsb), true, true, false, true, |
PAGESIZE_64K, MMU_FLAG_DTLB); |
dtlb_insert_mapping(tsb, KA2PA(tsb), PAGESIZE_64K, true, true); |
} |
|
__hypercall_fast2(MMU_TSB_CTX0, 1, as->arch.tsb_description.tsb_base); |
166,7 → 164,7 |
* by the locked 4M kernel DTLB entry. We need |
* to demap the entry installed by as_install_arch(). |
*/ |
mmu_demap_page(tsb, 0, MMU_FLAG_DTLB); |
__hypercall_fast3(MMU_UNMAP_PERM_ADDR, tsb, 0, MMU_FLAG_DTLB); |
} |
#endif |
} |