diff options
Diffstat (limited to 'cheri/sail_latex/sailfnraisectwoexception.tex')
| -rw-r--r-- | cheri/sail_latex/sailfnraisectwoexception.tex | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/cheri/sail_latex/sailfnraisectwoexception.tex b/cheri/sail_latex/sailfnraisectwoexception.tex deleted file mode 100644 index e3d6bcbb..00000000 --- a/cheri/sail_latex/sailfnraisectwoexception.tex +++ /dev/null @@ -1,6 +0,0 @@ -function #\hyperref[zraisezyctwozyexception]{raise\_c2\_exception}#(capEx, regnum) = - let reg8 = 0b000 @ regnum in - if ((capEx == CapEx_AccessSystemRegsViolation) & (regnum == IDCNO)) then - #\hyperref[zraisezyctwozyexceptioneight]{raise\_c2\_exception8}#(CapEx_AccessCCallIDCViolation, reg8) - else - #\hyperref[zraisezyctwozyexceptioneight]{raise\_c2\_exception8}#(capEx, reg8) |