libk  Files in arch/x86.fbsd.64/ of cfbfa7fccac75575

Files for check-in cfbfa7fccac75575

and within directory arch/x86.fbsd.64 sorted by filename