/sysdeps/x86/sys/platform/
../
x86.h