index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cheri
/
sail_latexcc
/
sailccgetCapCursor.tex
blob: fd5d72d804a1f62633e9de096261c80517641e56 (
plain
)
1
val getCapCursor : CapStruct -> uint64
