diff --git a/qemu-timer.h b/qemu-timer.h
index 3a9228f7dfa0150c65a1a3210e5e3eb7e17ce2b6..bbc3452bc3648b5d009657a4aef7765ce6cb0290 100644
--- a/qemu-timer.h
+++ b/qemu-timer.h
@@ -59,6 +59,10 @@ void init_clocks(void);
 int init_timer_alarm(void);
 void quit_timers(void);
 
+int64_t cpu_get_ticks(void);
+void cpu_enable_ticks(void);
+void cpu_disable_ticks(void);
+
 static inline QEMUTimer *qemu_new_timer_ns(QEMUClock *clock, QEMUTimerCB *cb,
                                            void *opaque)
 {
diff --git a/sysemu.h b/sysemu.h
index f112c227ac1eb77f5c02075a21b7345509a38569..a379024120fbf4fc53d49314c703895d62b1a933 100644
--- a/sysemu.h
+++ b/sysemu.h
@@ -41,10 +41,6 @@ uint64_t ram_bytes_remaining(void);
 uint64_t ram_bytes_transferred(void);
 uint64_t ram_bytes_total(void);
 
-int64_t cpu_get_ticks(void);
-void cpu_enable_ticks(void);
-void cpu_disable_ticks(void);
-
 void qemu_system_reset_request(void);
 void qemu_system_shutdown_request(void);
 void qemu_system_powerdown_request(void);