From 7e77b2314bcaa47f7175a5d816b2eda2ffd3e833 Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Wed, 5 May 2021 12:07:28 +0100 Subject: [PATCH] Clarify precedence in VM permission check --- src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv b/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv index 7e3290f..0ac2f7d 100644 --- a/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv +++ b/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv @@ -257,8 +257,8 @@ function TlbPermissionCheck hasVMPermission( end // perform generation check if (pte_upper_type.cap_read_mod - && (pte_type.user ? vm_info.globalCapLoadGenU : vm_info.globalCapLoadGenS) - != pack(pte_upper_type.cap_read_gen)) begin + && ((pte_type.user ? vm_info.globalCapLoadGenU : vm_info.globalCapLoadGenS) + != pack(pte_upper_type.cap_read_gen))) begin fault = True; end end