diff --git a/hw/timer/armv7m_systick.c b/hw/timer/armv7m_systick.c index b237a97193..a8c9952afd 100644 --- a/hw/timer/armv7m_systick.c +++ b/hw/timer/armv7m_systick.c @@ -325,13 +325,31 @@ static void libafl_timed_int_hook(void* arg) { libafl_send_irq((int)arg); } +/* The state after snapshot reloads is unlcear, try every possible option to disable existing timers */ +void libafl_clear_int_timer( void ) { + for (int source=0; source