libk  Files in arch/x86.fbsd.32/ of 50b709b0d3f0ffa4

Files in directory arch/x86.fbsd.32 of check-in 50b709b0d3f0ffa4