From 8afdf539213491459a3d2bb573132934218ce904 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Charl=C3=A8ne=20Wendling?= <julianaito@posteo.jp>
Date: Mon, 4 May 2020 18:25:30 +0200
Subject: [PATCH] Add posix timing as clock ticks for non x86 systems

---
 src/engine_c.c | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/engine_c.c b/src/engine_c.c
index 72c2342..03ecb34 100644
--- a/src/engine_c.c
+++ b/src/engine_c.c
@@ -884,6 +884,15 @@ void fixed_memory_ptrs_shut() {
 
   #if defined(__i386__) ||  defined(__x86_64__)
     #include <x86intrin.h>
+  #elif defined(_POSIX_MONOTONIC_CLOCK)
+    #include <time.h>
+    int64_t __rdtsc() {
+      struct timespec tp = {0};
+      int64_t timestamp = 0;
+      if (clock_gettime(CLOCK_MONOTONIC, &tp) == 0)
+        timestamp = tp.tv_sec * 1000000000 + tp.tv_nsec;
+      return timestamp;
+    }
   #elif defined(__powerpc__) || defined(__ppc__)
     #define __rdtsc() __builtin_ppc_mftb()
   #else