diff options
Diffstat (limited to 'cheri/sail_latex/sailfngetAccessLevel.tex')
| -rw-r--r-- | cheri/sail_latex/sailfngetAccessLevel.tex | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/cheri/sail_latex/sailfngetAccessLevel.tex b/cheri/sail_latex/sailfngetAccessLevel.tex deleted file mode 100644 index c37a672e..00000000 --- a/cheri/sail_latex/sailfngetAccessLevel.tex +++ /dev/null @@ -1,10 +0,0 @@ -function #\hyperref[zgetAccessLevel]{getAccessLevel}#() = - if ((CP0Status.#\hyperref[zEXL]{EXL}#()) | (CP0Status.#\hyperref[zERL]{ERL}#())) then - Kernel - else match CP0Status.#\hyperref[zKSU]{KSU}#() - { - 0b00 => Kernel, - 0b01 => Supervisor, - 0b10 => User, - _ => User /* behaviour undefined, assume user */ - } |