Clarify precedence in VM permission check

2021-05-05 12:07:28 +01:00
parent e7258f0f22
commit 7e77b2314b
1 changed files with 2 additions and 2 deletions
--- 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