gccxml/gccxml — pull request #5 by mamoll (2013-09-19 14:06:21+00:00)
Title: Fix _mm_pause in GCC 4.8 to match code in GCC_XML/Support/GCC/4.7/xmmintrin.h

Trivial fix.