x86.h revision 8d93c874
1