libk  Files in arch/x86.fbsd.64/ of 5f66b55640cb71a6

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