x86.c revision ec0671d5
1