diff --git a/hw/timer/armv7m_systick.c b/hw/timer/armv7m_systick.c
index 72d35e2bb2..378ba79f09 100644
--- a/hw/timer/armv7m_systick.c
+++ b/hw/timer/armv7m_systick.c
@@ -315,7 +315,7 @@ type_init(armv7m_systick_register_types)
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wint-to-pointer-cast"
 #include "qemu/seqlock.h"
-#include "sysemu/cpu-timers-internal.h"
+#include "system/cpu-timers-internal.h"
 #include "libafl/interrupt_injection.h"
 volatile uint32_t libafl_interrupt_offsets[LIBAFL_MAX_INTERRUPT_SOURCES][LIBAFL_MAX_INTERRUPTS];
 volatile uint64_t libafl_num_interrupts[LIBAFL_MAX_INTERRUPT_SOURCES] = {0};
@@ -362,4 +362,4 @@ void libafl_start_int_timer( void ) {
 }
 #pragma GCC diagnostic pop
 #pragma GCC diagnostic pop
-/* End LibAFL instrumentation */
\ No newline at end of file
+/* End LibAFL instrumentation */