diff options
Diffstat (limited to 'cheri/sail_latex/sailfnraisectwoexceptioneight.tex')
| -rw-r--r-- | cheri/sail_latex/sailfnraisectwoexceptioneight.tex | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/cheri/sail_latex/sailfnraisectwoexceptioneight.tex b/cheri/sail_latex/sailfnraisectwoexceptioneight.tex deleted file mode 100644 index b6490aa0..00000000 --- a/cheri/sail_latex/sailfnraisectwoexceptioneight.tex +++ /dev/null @@ -1,9 +0,0 @@ -function #\hyperref[zraisezyctwozyexceptioneight]{raise\_c2\_exception8}#(capEx, regnum) = - { - CapCause->#\hyperref[zExcCode]{ExcCode}#() = #\hyperref[zCapExCode]{CapExCode}#(capEx); - CapCause->#\hyperref[zRegNum]{RegNum}#() = regnum; - let mipsEx = - if ((capEx == CapEx_CallTrap) | (capEx == CapEx_ReturnTrap)) - then C2Trap else C2E in - #\hyperref[zSignalException]{SignalException}#(mipsEx); - } |