Use Matt's slightly cleaner version of the function.

This commit is contained in:
Jonathan Woodruff
2021-10-11 16:23:22 +00:00
parent 1b5a036c46
commit 3636f6239a

View File

@@ -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;