|
@@ -47,6 +47,7 @@
|
|
|
#include <linux/pid.h>
|
|
|
#include <linux/smp.h>
|
|
|
#include <linux/mm.h>
|
|
|
+#include <linux/rcupdate.h>
|
|
|
|
|
|
#include <asm/cacheflush.h>
|
|
|
#include <asm/byteorder.h>
|
|
@@ -474,6 +475,7 @@ static void dbg_touch_watchdogs(void)
|
|
|
{
|
|
|
touch_softlockup_watchdog_sync();
|
|
|
clocksource_touch_watchdog();
|
|
|
+ rcu_cpu_stall_reset();
|
|
|
}
|
|
|
|
|
|
static int kgdb_cpu_enter(struct kgdb_state *ks, struct pt_regs *regs)
|