__attribute__((noinline))
void do_fxsave ( void* p, int rexw ) {
if (rexw) {
-#if defined(VGO_linux) || defined(VGO_solaris)
+#if (defined(VGO_linux) || defined(VGO_solaris)) && ! defined(__clang__)
asm __volatile__("fxsave64 (%0)" : : "r" (p) : "memory" );
#else
asm __volatile__("rex64/fxsave (%0)" : : "r" (p) : "memory" );
__attribute__((noinline))
void do_fxrstor ( void* p, int rexw ) {
if (rexw) {
-#if defined(VGO_linux) || defined(VGO_solaris)
+#if (defined(VGO_linuxx) || defined(VGO_solaris)) && ! defined(__clang__)
asm __volatile__("fxrstor64 (%0)" : : "r" (p) : "memory" );
#else
asm __volatile__("rex64/fxrstor (%0)" : : "r" (p) : "memory" );