1 files changed, 0 insertions, 17 deletions
diff --git a/cheri/sail_latex/sailfnincrementCPzeroCount.tex b/cheri/sail_latex/sailfnincrementCPzeroCount.tex
deleted file mode 100644
index 71ca2e51..00000000
--- a/cheri/sail_latex/sailfnincrementCPzeroCount.tex
+++ /dev/null
@@ -1,17 +0,0 @@
-function #\hyperref[zincrementCPzeroCount]{incrementCP0Count}#() = {
-  TLBRandom = (if (TLBRandom == TLBWired)
-    then (TLBIndexMax) else (TLBRandom - 1));
-
-  CP0Count = (CP0Count + 1);
-  if (CP0Count == CP0Compare) then {
-    CP0Cause->#\hyperref[zIP]{IP}#() = CP0Cause.#\hyperref[zIP]{IP}#() | 0x80; /* IP7 is timer interrupt  */
-  };
-
-  let ims = CP0Status.#\hyperref[zIM]{IM}#() in
-  let ips = CP0Cause.#\hyperref[zIP]{IP}#() in
-  let ie  = CP0Status.#\hyperref[zIE]{IE}#() in
-  let exl = CP0Status.#\hyperref[zEXL]{EXL}#() in
-  let erl = CP0Status.#\hyperref[zERL]{ERL}#() in
-  if ((~(exl)) & (~(erl)) & ie & ((ips & ims) != 0x00)) then
-    #\hyperref[zSignalException]{SignalException}#(Interrupt);
-}