/usr/include/bits/platform/x86.h