/sys/arch/usermode/target/x86_64/
../
cpu_x86_64.c