From 0e0033ee965f86b2283bf554164e1281a1a1ee5e Mon Sep 17 00:00:00 2001 From: Ved Shanbhogue Date: Sat, 23 Mar 2024 15:36:55 -0500 Subject: [PATCH] fixing linter issues --- c_emulator/riscv_sim.c | 4 ++-- model/riscv_pte.sail | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c index de8f6b76d..46fec2566 100644 --- a/c_emulator/riscv_sim.c +++ b/c_emulator/riscv_sim.c @@ -150,8 +150,8 @@ static struct option options[] = { #ifdef SAILCOV {"sailcov-file", required_argument, 0, 'c' }, #endif - {"enable-svnapot", no_argument, 0, OPT_ENABLE_SVNAPOT }, - {"enable-svpbmt", no_argument, 0, OPT_ENABLE_SVPBMT }, + {"enable-svnapot", no_argument, 0, OPT_ENABLE_SVNAPOT }, + {"enable-svpbmt", no_argument, 0, OPT_ENABLE_SVPBMT }, {0, 0, 0, 0 } }; diff --git a/model/riscv_pte.sail b/model/riscv_pte.sail index eb93e2dd6..deddd30e4 100644 --- a/model/riscv_pte.sail +++ b/model/riscv_pte.sail @@ -167,7 +167,7 @@ function checkPTEPermission(ac : AccessType(ext_access_type), priv : Privilege, } } -function update_PTE_Bits(p : PTE_Bits, a : AccessType(ext_access_type), std_ext : pteStdExtAttribs) -> option((PTE_Bits, pteStdExtAttribs)) = { +function update_PTE_Bits(p : PTE_Bits, a : AccessType(ext_access_type), std_ext : pteStdExtAttribs) -> option((PTE_Bits, pteStdExtAttribs)) = { let update_d = p[D] == 0b0 & (match a { // dirty-bit Execute() => false, Read() => false,