x86.h revision c33f6f222
1