x86.h revision dae5e741
1