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

Files for check-in c36308ecd980aeec

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