use the x86intrin.h header to get _mm_pause