From 8ce746cb73636b23491499d3215e2534022b38fe Mon Sep 17 00:00:00 2001 From: AngelaGonzalezMarino Date: Tue, 19 Dec 2023 11:54:19 +0100 Subject: [PATCH] lint --- core/mmu_unify/cva6_ptw.sv | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/core/mmu_unify/cva6_ptw.sv b/core/mmu_unify/cva6_ptw.sv index f4d5434aad..204a353721 100644 --- 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