diff options
Diffstat (limited to 'cheri/sail_latex/sailfnregisterinaccessible.tex')
| -rw-r--r-- | cheri/sail_latex/sailfnregisterinaccessible.tex | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/cheri/sail_latex/sailfnregisterinaccessible.tex b/cheri/sail_latex/sailfnregisterinaccessible.tex deleted file mode 100644 index 368d01a4..00000000 --- a/cheri/sail_latex/sailfnregisterinaccessible.tex +++ /dev/null @@ -1,7 +0,0 @@ -function #\hyperref[zregisterzyinaccessible]{register\_inaccessible}#(r) = - ((r == IDCNO) & inCCallDelay) | - ((r == KR1CNO | - r == KR2CNO | - r == KDCNO | - r == KCCNO | - r == EPCCNO) & #\hyperref[znot]{not}# (#\hyperref[zpcczyaccesszysystemzyregs]{pcc\_access\_system\_regs}# ())) |