From d08ae3cda81a16311dbb80f474c0722d04c9f994 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 27 Jul 2016 16:13:55 +0100
Subject: CCall comment out of extracted psuedocode region.

---
 cheri/cheri_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 15725b44..4b61318d 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -511,9 +511,9 @@ union ast member (regno, regno) CCall
 function clause decode (0b010010 : 0b00101 : (regno) cs : (regno) cb : (bit[11]) selector) = Some(CCall(cs, cb))
 function clause execute (CCall(cs, cb)) =
 {
+  (* Partial implementation of CCall with checks in hardware, but raising a trap to perform trusted stack manipulation *)
   (* START_CCall *)
   checkCP2usable();
-  (* Partial implementation of CCall with checks in hardware, but raising a trap to perform trusted stack manipulation *)
   cs_val := readCapReg(cs);
   cb_val := readCapReg(cb);
   if (register_inaccessible(cs)) then
-- 
cgit v1.2.3