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

Files for check-in ef45f6d08e9c046e

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