sailccfngetCapCursor.tex « sail_latexcc « cheri - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/cheri/sail_latexcc/sailccfngetCapCursor.tex

blob: 9f5d5757f9dd6e2c3b905466c35678868eb1984e (plain)

function #\hyperref[zgetCapCursor]{getCapCursor}#(cap) : CapStruct -> uint64 = #\hyperref[zunsigned]{unsigned}#(cap.address)