fix bugs in mmu_map and mmu_unmap