From db87d4f40da2b36b39140d6b888e8fddb44f56bf Mon Sep 17 00:00:00 2001
From: Roland Conybeare <rconybeare@gmail.com>
Date: Fri, 14 Jun 2024 15:14:35 -0400
Subject: [PATCH] indentlog: tweak fake mm_setcsr() in machdep.hpp

---
 include/xo/indentlog/machdep/machdep.hpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/include/xo/indentlog/machdep/machdep.hpp b/include/xo/indentlog/machdep/machdep.hpp
index 11c2f3e..df03099 100644
--- a/include/xo/indentlog/machdep/machdep.hpp
+++ b/include/xo/indentlog/machdep/machdep.hpp
@@ -14,12 +14,15 @@
 
 extern "C" {
     /* never defined!  must not ever generate code that relies on these */
+    unsigned int fake_rdtsc();
     unsigned int fake_mm_getcsr();
-    unsigned int fake_mm_setcsr(unsigned int a);
+    unsigned int fake_mm_setcsr();
 }
 
+/* __rdtsc: clang encounters this from <immintrin.h>, for example */
+#define __rdtsc() fake_rdtsc()
 #define _mm_getcsr(a) fake_mm_getcsr()
-#define _mm_setcsr(a) fake_mm_setcsr(a)
+#define _mm_setcsr(a) fake_mm_setcsr()
 
 #endif