fix(mmu): replace unknown whitespace characters (#80)

OpenXiangShan · Dec 31, 2024 · d11aa31 · d11aa31
1 parent 2db991e
commit d11aa31
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/riscv/mmu.cc b/riscv/mmu.cc
@@ -333,10 +333,10 @@ void mmu_t::store_slow_path(reg_t original_addr, reg_t len, const uint8_t* bytes
     reg_t len_page0 = std::min(len, PGSIZE - transformed_addr % PGSIZE);
 
 #if defined(DIFFTEST) && defined(CPU_XIANGSHAN)
-    if (len_page0 != len){
-      store_slow_path_intrapage(len_page0, bytes, access_info, false);
-      store_slow_path_intrapage(len - len_page0, bytes + len_page0, access_info.split_misaligned_access(len_page0), false);
-    }
+    if (len_page0 != len) {
+      store_slow_path_intrapage(len_page0, bytes, access_info, false);
+      store_slow_path_intrapage(len - len_page0, bytes + len_page0, access_info.split_misaligned_access(len_page0), false);
+    }
 #endif // defined(DIFFTEST) && defined(CPU_XIANGSHAN)
 
     store_slow_path_intrapage(len_page0, bytes, access_info, actually_store);