diff --git a/stage23/sys/cpu.h b/stage23/sys/cpu.h
index e283c0b2..354bf14e 100644
--- a/stage23/sys/cpu.h
+++ b/stage23/sys/cpu.h
@@ -175,7 +175,7 @@ inline uint64_t rdtsc(void) {
     type ret; \
     asm volatile ( \
         "1: " \
-        "rdrand %0;" \
+        "rdseed %0;" \
         "jnc 1b;" \
         : "=r" (ret) \
     ); \