diff --git a/src/c/run.c b/src/c/run.c
index 2bfb7960..13b3fa94 100644
--- a/src/c/run.c
+++ b/src/c/run.c
@@ -596,13 +596,6 @@ Port io_seek(Net* net, Book* book, Port argm) {
   return inject_ok(net, new_port(ERA, 0));
 }
 
-// TODO: write a time64() function that returns the time as fast as possible as a u64
-__host__ __device__ inline u64 time64() {
-  struct timespec ts;
-  clock_gettime(CLOCK_MONOTONIC, &ts);
-  return (u64)ts.tv_sec * 1000000000ULL + (u64)ts.tv_nsec;
-}
-
 // Returns the current time as a tuple of the high
 // and low 24 bits of a 48-bit nanosecond timestamp.
 // Returns: Result<(u24, u24), IOError<*>>
diff --git a/src/cuda/run.cu b/src/cuda/run.cu
index 970f8a01..140ca091 100644
--- a/src/cuda/run.cu
+++ b/src/cuda/run.cu
@@ -714,6 +714,13 @@ Port io_seek(GNet* gnet, Port argm) {
   return gnet_inject_ok(gnet, new_port(ERA, 0));
 }
 
+// TODO: write a time64() function that returns the time as fast as possible as a u64
+__host__ __device__ inline u64 time64() {
+  struct timespec ts;
+  clock_gettime(CLOCK_MONOTONIC, &ts);
+  return (u64)ts.tv_sec * 1000000000ULL + (u64)ts.tv_nsec;
+}
+
 // Returns the current time as a tuple of the high
 // and low 24 bits of a 48-bit nanosecond timestamp.
 // Returns: Result<(u24, u24), IOError<*>>