lint

openhwgroup · Dec 19, 2023 · 8ce746c · 8ce746c
1 parent 8fabb0c
commit 8ce746c
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/core/mmu_unify/cva6_ptw.sv b/core/mmu_unify/cva6_ptw.sv
@@ -326,14 +326,13 @@ genvar x;
               // this is a pointer to the next TLB level
             end else begin
               // pointer to next level of page table
-              if (ptw_lvl_q == PT_LEVELS-1) begin
+              if (ptw_lvl_q == PT_LEVELS - 1) begin
                 // Should already be the last level page table => Error
-                ptw_lvl_n = PT_LEVELS-1;
+                ptw_lvl_n = PT_LEVELS - 1;
                 state_d   = PROPAGATE_ERROR;
-              end
-              else begin
+              end else begin
                 // we are in the second level now
-                ptw_lvl_n  = ptw_lvl_q+1;
+                ptw_lvl_n = ptw_lvl_q + 1;
                 ptw_pptr_n = {pte.ppn, vaddr_lvl[ptw_lvl_q], (PT_LEVELS)'(0)};
                 state_d = WAIT_GRANT;
               end