diff options
Diffstat (limited to 'cheri/sail_latex/sailfncheckCPzeroAccess.tex')
| -rw-r--r-- | cheri/sail_latex/sailfncheckCPzeroAccess.tex | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/cheri/sail_latex/sailfncheckCPzeroAccess.tex b/cheri/sail_latex/sailfncheckCPzeroAccess.tex deleted file mode 100644 index d63f00cf..00000000 --- a/cheri/sail_latex/sailfncheckCPzeroAccess.tex +++ /dev/null @@ -1,9 +0,0 @@ -function #\hyperref[zcheckCPzeroAccess]{checkCP0Access}# () = - { - let accessLevel = #\hyperref[zgetAccessLevel]{getAccessLevel}#() in - if ((accessLevel != Kernel) & (~(CP0Status.#\hyperref[zCU]{CU}#()[0]))) then - { - CP0Cause->#\hyperref[zCE]{CE}#() = 0b00; - #\hyperref[zSignalException]{SignalException}#(CpU); - } - } |