x86.h revision 2f4073e0
1