diff options
| author | Robert Norton | 2016-07-27 16:13:55 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-07-27 16:34:22 +0100 |
| commit | d08ae3cda81a16311dbb80f474c0722d04c9f994 (patch) | |
| tree | 5638dc6e77072823a42c3abef1e6ea7fc972bda8 | |
| parent | 0f4eb884a4acaeaddf419ec568f89af3f0ecd173 (diff) | |
CCall comment out of extracted psuedocode region.
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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 |