path: root/cheri/sail_latex/sailTLBWriteEntry.tex

val TLBWriteEntry : TLBIndexT -> unit effect {rreg, wreg, escape}