Don't call stop_timer() from within the timer expiry callback; it's