libk  Files in arch/x86.fbsd.64/ of 6aeac330cedb6d70

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