From 7b6a968c83af5c64db7b874e3b318ee2882b5cf1 Mon Sep 17 00:00:00 2001
From: Christopher Celio <celio@eecs.berkeley.edu>
Date: Fri, 13 Jun 2014 02:33:32 -0700
Subject: Changes to allow spike & RTL behavior to better match each other.

  - EI turned off on sys_exit.
  - IM/IP cleared on start.
  - badvaddr only saved to tf on page faults.
---
 pk/entry.S | 2 --
 1 file changed, 2 deletions(-)

(limited to 'pk/entry.S')

diff --git a/pk/entry.S b/pk/entry.S
index a5f13b8..ad3213c 100644
--- a/pk/entry.S
+++ b/pk/entry.S
@@ -49,13 +49,11 @@
   csrr   x4,sup1    # x2
   csrr   x5,status
   csrr   x6,epc
-  csrr   x7,badvaddr
   csrr   x8,cause
   STORE  x3,1*REGBYTES(x2)
   STORE  x4,2*REGBYTES(x2)
   STORE  x5,32*REGBYTES(x2)
   STORE  x6,33*REGBYTES(x2)
-  STORE  x7,34*REGBYTES(x2)
   STORE  x8,35*REGBYTES(x2)
 
   la gp, _gp
-- 
cgit v1.1