path: root/cheri/sail_latex/sailsailsailsailsailsailmodbitsvvvvv.tex

overload _mod_bits = {_get_TLBEntryHiReg_bits, _set_TLBEntryHiReg_bits}