Sorry, there is a code error in the C source. The inline assembly is like this: asm volatile( "nop" : : : "memory" );