path: root/cheri/sail_latexcc/sailccfninttocap.tex

function #\hyperref[zintzytozycap]{int\_to\_cap}# (offset) : #\hyperref[zbits]{bits}#(64) -> CapStruct = 
    {null_cap with address = offset}