|
@@ -266,6 +266,7 @@ static void cpu5wdt_exit(void)
|
|
if (cpu5wdt_device.queue) {
|
|
if (cpu5wdt_device.queue) {
|
|
cpu5wdt_device.queue = 0;
|
|
cpu5wdt_device.queue = 0;
|
|
wait_for_completion(&cpu5wdt_device.stop);
|
|
wait_for_completion(&cpu5wdt_device.stop);
|
|
|
|
+ del_timer(&cpu5wdt_device.timer);
|
|
}
|
|
}
|
|
|
|
|
|
misc_deregister(&cpu5wdt_misc);
|
|
misc_deregister(&cpu5wdt_misc);
|