glibc/sysdeps/x86/htl
..
pt-machdep.h