1 files changed, 0 insertions, 16 deletions
diff --git a/cheri/sail_latex/sailfnMEMwwrapper.tex b/cheri/sail_latex/sailfnMEMwwrapper.tex
deleted file mode 100644
index 6f83825c..00000000
--- a/cheri/sail_latex/sailfnMEMwwrapper.tex
+++ /dev/null
@@ -1,16 +0,0 @@
-function #\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(addr, size, data) =
-  let ledata = #\hyperref[zreversezyendianness]{reverse\_endianness}#(data) in
-  if (addr == 0x000000007f000000) then
-  {
-    UART_WDATA   = ledata[7..0];
-    UART_WRITTEN = 0b1;
-  }
-  else
-  {
-    /* require that writes don't cross capability #\hyperref[zboundaries]{boundaries}# (should be true due to mips alignment requirements) */  
-    assert((addr & cap_addr_mask) == ((addr + #\hyperref[ztozybits]{to\_bits}#(64, size - 1)) & cap_addr_mask));
-    #\hyperref[zMEMea]{MEMea}#(addr, size);
-    #\hyperref[zMEMval]{MEMval}#(addr, size, ledata);
-    /* On cheri non-capability writes must clear the corresponding tag*/
-    #\hyperref[zMEMwzytag]{MEMw\_tag}#(addr & cap_addr_mask, false);
-  }