|
@@ -16,6 +16,7 @@
|
|
#include <linux/sched.h>
|
|
#include <linux/sched.h>
|
|
#include <linux/seq_file.h>
|
|
#include <linux/seq_file.h>
|
|
#include <linux/kallsyms.h>
|
|
#include <linux/kallsyms.h>
|
|
|
|
+#include <linux/nmi.h>
|
|
|
|
|
|
#include <linux/uaccess.h>
|
|
#include <linux/uaccess.h>
|
|
|
|
|
|
@@ -86,6 +87,9 @@ print_active_timers(struct seq_file *m, struct hrtimer_clock_base *base,
|
|
|
|
|
|
next_one:
|
|
next_one:
|
|
i = 0;
|
|
i = 0;
|
|
|
|
+
|
|
|
|
+ touch_nmi_watchdog();
|
|
|
|
+
|
|
raw_spin_lock_irqsave(&base->cpu_base->lock, flags);
|
|
raw_spin_lock_irqsave(&base->cpu_base->lock, flags);
|
|
|
|
|
|
curr = timerqueue_getnext(&base->active);
|
|
curr = timerqueue_getnext(&base->active);
|
|
@@ -197,6 +201,8 @@ print_tickdevice(struct seq_file *m, struct tick_device *td, int cpu)
|
|
{
|
|
{
|
|
struct clock_event_device *dev = td->evtdev;
|
|
struct clock_event_device *dev = td->evtdev;
|
|
|
|
|
|
|
|
+ touch_nmi_watchdog();
|
|
|
|
+
|
|
SEQ_printf(m, "Tick Device: mode: %d\n", td->mode);
|
|
SEQ_printf(m, "Tick Device: mode: %d\n", td->mode);
|
|
if (cpu < 0)
|
|
if (cpu < 0)
|
|
SEQ_printf(m, "Broadcast device\n");
|
|
SEQ_printf(m, "Broadcast device\n");
|