Firo Yang Wed, 17 Jul 2019 02:15:23 -0700
I don't think this change could fix this problem because if SMP, dev_watchdog() could run on a different CPU.
Thanks, Firo