x86.h revision 431f5d44
1