From 3636f6239a17ae04ce84f950b5c5dbda53eefb42 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Mon, 11 Oct 2021 16:23:22 +0000
Subject: [PATCH] Use Matt's slightly cleaner version of the function.

---
 src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv b/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv
index 07f277c..51bbd4d 100644
--- a/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/TlbTypes.bsv
@@ -100,7 +100,7 @@ function Vpn getVpn(Addr addr) = addr[38:12];
 function PageOffset getPageOffset(Addr addr) = truncate(addr);
 
 // All the upper bits should be equal for a valid SV39 virtual address.
-function Bool validVirtualAddress(Addr addr) = ((addr[63:39] ^ {addr[39],addr[63:40]}) == 0);
+function Bool validVirtualAddress(Addr addr) =  (addr[63:39] == {addr[39],addr[63:40]});
 
 function Addr getPTBaseAddr(Ppn basePpn);
     PageOffset offset = 0;