diff options
| -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 |