From 1f378f55b35729b36ba3ad3e403aaae3b23ca8a9 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 24 Sep 2013 12:46:38 -0700
Subject: Fix rv32 bug

---
 pk/entry.S | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pk')

diff --git a/pk/entry.S b/pk/entry.S
index 3e97001..c2ebf3d 100644
--- a/pk/entry.S
+++ b/pk/entry.S
@@ -61,7 +61,7 @@
 
   # get faulting insn, if it wasn't a fetch-related trap
   li x5,-1
-  sd x5,36*REGBYTES(x2)
+  STORE x5,36*REGBYTES(x2)
 1:
   .endm
 
-- 
cgit v1.1