x86.h revision 404d5d7b
1