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

Files in directory arch/x86.fbsd.64 of check-in d49a706cc45031bf