x86.h revision 3eeb3288
1