Name Date Size #Lines LOC

..--

MakefileH A D17-Jul-2024724

cpucapsH A D30-Aug-20252 KiB123121

gen-cpucaps.awkH A D02-Nov-2023773 4126

gen-sysreg.awkH A D01-Oct-20257.1 KiB360251

syscall_32.tblH A D29-Jul-202519.1 KiB484483

syscall_64.tblH A D29-Jul-202517.1 KiB

sysregH A D01-Oct-202574.2 KiB5,1374,823