x86.h revision 871bd034
1