From 4303ce356626a1bb6cf18d62e5395274f478a21b Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Fri, 27 Mar 2015 16:17:36 -0700
Subject: [PATCH] New virtual memory implementation (Sv39)

---
 env                | 2 +-
 isa/rv64mi/dirty.S | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/env b/env
index fe2bd08..433e009 160000
--- a/env
+++ b/env
@@ -1 +1 @@
-Subproject commit fe2bd085aaef12c043672b2bb07fc1daab9ce598
+Subproject commit 433e0094a68116503a24a3759b3b0347431ec632
diff --git a/isa/rv64mi/dirty.S b/isa/rv64mi/dirty.S
index f343cf9..ef4e65c 100644
--- a/isa/rv64mi/dirty.S
+++ b/isa/rv64mi/dirty.S
@@ -73,10 +73,10 @@ die:
   RVTEST_FAIL
 
 .data
-.align 13
-page_table_1: .dword PTE_V | PTE_SX | PTE_SR
+.align 12
+page_table_1: .dword PTE_TYPE_US_SRX
 dummy: .dword 0
-.align 13
-page_table_2: .dword PTE_V | PTE_SX | PTE_SR | PTE_SW
+.align 12
+page_table_2: .dword PTE_TYPE_US_SRWX
 
 RVTEST_CODE_END
-- 
2.30.2