x86.h revision 082d06ed
1