src/sys/lib/libkern/arch/x86_64