index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cheri
/
sail_latex
/
sailTLBWriteEntry.tex
blob: 84d4fa702ff3612da3bcd9210cb4f7a5028ccb74 (
plain
)
1
val TLBWriteEntry : TLBIndexT -> unit effect
{
rreg, wreg, escape
}