index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cheri
/
sail_latex
/
sailmoddzero.tex
blob: 0e8608842656022c066cd865ae900f9351159906 (
plain
)
1
overload
_
mod
_
d0 =
{_
get
_
TLBEntry
_
d0,
_
set
_
TLBEntry
_
d0
}
