On 07/18/2019 09:47 PM, Greg Kurz wrote:
On Thu, 18 Jul 2019 10:21:28 -0500
Shivaprasad G Bhat <sb...@linux.ibm.com> wrote:

+    PowerPCCPU *cpu = POWERPC_CPU(cs);
+
+    timer_deinit(&cpu->idle_timer);
As stated in the timer.h header file, timer_del() should always be called
before timer_deinit().

With that fixed:

Reviewed-by: Greg Kurz <gr...@kaod.org>

Thanks. Fixed, and posted the v4.

Regards,
Shivaprasad


Reply via email to