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

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