Replaced most mmu_map and mmu_unmap with va_map and va_unmap.