On Thu, Dec 25, 2008 at 4:49 PM, Anders Carlsson <andersca at mac.com> wrote: > +static inline void __attribute__((__always_inline__)) _mm_pause(void) > +{ > + asm("pause"); > +} Doesn't this need to be marked volatile? Also, shouldn't we be using __asm__, since this is a builtin header? -Eli