nmi.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602
  1. /*
  2. * linux/arch/x86_64/nmi.c
  3. *
  4. * NMI watchdog support on APIC systems
  5. *
  6. * Started by Ingo Molnar <mingo@redhat.com>
  7. *
  8. * Fixes:
  9. * Mikael Pettersson : AMD K7 support for local APIC NMI watchdog.
  10. * Mikael Pettersson : Power Management for local APIC NMI watchdog.
  11. * Pavel Machek and
  12. * Mikael Pettersson : PM converted to driver model. Disable/enable API.
  13. */
  14. #include <linux/config.h>
  15. #include <linux/mm.h>
  16. #include <linux/delay.h>
  17. #include <linux/bootmem.h>
  18. #include <linux/smp_lock.h>
  19. #include <linux/interrupt.h>
  20. #include <linux/mc146818rtc.h>
  21. #include <linux/kernel_stat.h>
  22. #include <linux/module.h>
  23. #include <linux/sysdev.h>
  24. #include <linux/nmi.h>
  25. #include <linux/sysctl.h>
  26. #include <linux/kprobes.h>
  27. #include <asm/smp.h>
  28. #include <asm/mtrr.h>
  29. #include <asm/mpspec.h>
  30. #include <asm/nmi.h>
  31. #include <asm/msr.h>
  32. #include <asm/proto.h>
  33. #include <asm/kdebug.h>
  34. #include <asm/local.h>
  35. #include <asm/mce.h>
  36. /*
  37. * lapic_nmi_owner tracks the ownership of the lapic NMI hardware:
  38. * - it may be reserved by some other driver, or not
  39. * - when not reserved by some other driver, it may be used for
  40. * the NMI watchdog, or not
  41. *
  42. * This is maintained separately from nmi_active because the NMI
  43. * watchdog may also be driven from the I/O APIC timer.
  44. */
  45. static DEFINE_SPINLOCK(lapic_nmi_owner_lock);
  46. static unsigned int lapic_nmi_owner;
  47. #define LAPIC_NMI_WATCHDOG (1<<0)
  48. #define LAPIC_NMI_RESERVED (1<<1)
  49. /* nmi_active:
  50. * +1: the lapic NMI watchdog is active, but can be disabled
  51. * 0: the lapic NMI watchdog has not been set up, and cannot
  52. * be enabled
  53. * -1: the lapic NMI watchdog is disabled, but can be enabled
  54. */
  55. int nmi_active; /* oprofile uses this */
  56. int panic_on_timeout;
  57. unsigned int nmi_watchdog = NMI_DEFAULT;
  58. static unsigned int nmi_hz = HZ;
  59. static unsigned int nmi_perfctr_msr; /* the MSR to reset in NMI handler */
  60. static unsigned int nmi_p4_cccr_val;
  61. /* Note that these events don't tick when the CPU idles. This means
  62. the frequency varies with CPU load. */
  63. #define K7_EVNTSEL_ENABLE (1 << 22)
  64. #define K7_EVNTSEL_INT (1 << 20)
  65. #define K7_EVNTSEL_OS (1 << 17)
  66. #define K7_EVNTSEL_USR (1 << 16)
  67. #define K7_EVENT_CYCLES_PROCESSOR_IS_RUNNING 0x76
  68. #define K7_NMI_EVENT K7_EVENT_CYCLES_PROCESSOR_IS_RUNNING
  69. #define MSR_P4_MISC_ENABLE 0x1A0
  70. #define MSR_P4_MISC_ENABLE_PERF_AVAIL (1<<7)
  71. #define MSR_P4_MISC_ENABLE_PEBS_UNAVAIL (1<<12)
  72. #define MSR_P4_PERFCTR0 0x300
  73. #define MSR_P4_CCCR0 0x360
  74. #define P4_ESCR_EVENT_SELECT(N) ((N)<<25)
  75. #define P4_ESCR_OS (1<<3)
  76. #define P4_ESCR_USR (1<<2)
  77. #define P4_CCCR_OVF_PMI0 (1<<26)
  78. #define P4_CCCR_OVF_PMI1 (1<<27)
  79. #define P4_CCCR_THRESHOLD(N) ((N)<<20)
  80. #define P4_CCCR_COMPLEMENT (1<<19)
  81. #define P4_CCCR_COMPARE (1<<18)
  82. #define P4_CCCR_REQUIRED (3<<16)
  83. #define P4_CCCR_ESCR_SELECT(N) ((N)<<13)
  84. #define P4_CCCR_ENABLE (1<<12)
  85. /* Set up IQ_COUNTER0 to behave like a clock, by having IQ_CCCR0 filter
  86. CRU_ESCR0 (with any non-null event selector) through a complemented
  87. max threshold. [IA32-Vol3, Section 14.9.9] */
  88. #define MSR_P4_IQ_COUNTER0 0x30C
  89. #define P4_NMI_CRU_ESCR0 (P4_ESCR_EVENT_SELECT(0x3F)|P4_ESCR_OS|P4_ESCR_USR)
  90. #define P4_NMI_IQ_CCCR0 \
  91. (P4_CCCR_OVF_PMI0|P4_CCCR_THRESHOLD(15)|P4_CCCR_COMPLEMENT| \
  92. P4_CCCR_COMPARE|P4_CCCR_REQUIRED|P4_CCCR_ESCR_SELECT(4)|P4_CCCR_ENABLE)
  93. static __cpuinit inline int nmi_known_cpu(void)
  94. {
  95. switch (boot_cpu_data.x86_vendor) {
  96. case X86_VENDOR_AMD:
  97. return boot_cpu_data.x86 == 15;
  98. case X86_VENDOR_INTEL:
  99. return boot_cpu_data.x86 == 15;
  100. }
  101. return 0;
  102. }
  103. /* Run after command line and cpu_init init, but before all other checks */
  104. void __cpuinit nmi_watchdog_default(void)
  105. {
  106. if (nmi_watchdog != NMI_DEFAULT)
  107. return;
  108. if (nmi_known_cpu())
  109. nmi_watchdog = NMI_LOCAL_APIC;
  110. else
  111. nmi_watchdog = NMI_IO_APIC;
  112. }
  113. #ifdef CONFIG_SMP
  114. /* The performance counters used by NMI_LOCAL_APIC don't trigger when
  115. * the CPU is idle. To make sure the NMI watchdog really ticks on all
  116. * CPUs during the test make them busy.
  117. */
  118. static __init void nmi_cpu_busy(void *data)
  119. {
  120. volatile int *endflag = data;
  121. local_irq_enable();
  122. /* Intentionally don't use cpu_relax here. This is
  123. to make sure that the performance counter really ticks,
  124. even if there is a simulator or similar that catches the
  125. pause instruction. On a real HT machine this is fine because
  126. all other CPUs are busy with "useless" delay loops and don't
  127. care if they get somewhat less cycles. */
  128. while (*endflag == 0)
  129. barrier();
  130. }
  131. #endif
  132. int __init check_nmi_watchdog (void)
  133. {
  134. volatile int endflag = 0;
  135. int *counts;
  136. int cpu;
  137. counts = kmalloc(NR_CPUS * sizeof(int), GFP_KERNEL);
  138. if (!counts)
  139. return -1;
  140. printk(KERN_INFO "testing NMI watchdog ... ");
  141. #ifdef CONFIG_SMP
  142. if (nmi_watchdog == NMI_LOCAL_APIC)
  143. smp_call_function(nmi_cpu_busy, (void *)&endflag, 0, 0);
  144. #endif
  145. for (cpu = 0; cpu < NR_CPUS; cpu++)
  146. counts[cpu] = cpu_pda(cpu)->__nmi_count;
  147. local_irq_enable();
  148. mdelay((10*1000)/nmi_hz); // wait 10 ticks
  149. for_each_online_cpu(cpu) {
  150. if (cpu_pda(cpu)->__nmi_count - counts[cpu] <= 5) {
  151. endflag = 1;
  152. printk("CPU#%d: NMI appears to be stuck (%d->%d)!\n",
  153. cpu,
  154. counts[cpu],
  155. cpu_pda(cpu)->__nmi_count);
  156. nmi_active = 0;
  157. lapic_nmi_owner &= ~LAPIC_NMI_WATCHDOG;
  158. nmi_perfctr_msr = 0;
  159. kfree(counts);
  160. return -1;
  161. }
  162. }
  163. endflag = 1;
  164. printk("OK.\n");
  165. /* now that we know it works we can reduce NMI frequency to
  166. something more reasonable; makes a difference in some configs */
  167. if (nmi_watchdog == NMI_LOCAL_APIC)
  168. nmi_hz = 1;
  169. kfree(counts);
  170. return 0;
  171. }
  172. int __init setup_nmi_watchdog(char *str)
  173. {
  174. int nmi;
  175. if (!strncmp(str,"panic",5)) {
  176. panic_on_timeout = 1;
  177. str = strchr(str, ',');
  178. if (!str)
  179. return 1;
  180. ++str;
  181. }
  182. get_option(&str, &nmi);
  183. if (nmi >= NMI_INVALID)
  184. return 0;
  185. nmi_watchdog = nmi;
  186. return 1;
  187. }
  188. __setup("nmi_watchdog=", setup_nmi_watchdog);
  189. static void disable_lapic_nmi_watchdog(void)
  190. {
  191. if (nmi_active <= 0)
  192. return;
  193. switch (boot_cpu_data.x86_vendor) {
  194. case X86_VENDOR_AMD:
  195. wrmsr(MSR_K7_EVNTSEL0, 0, 0);
  196. break;
  197. case X86_VENDOR_INTEL:
  198. if (boot_cpu_data.x86 == 15) {
  199. wrmsr(MSR_P4_IQ_CCCR0, 0, 0);
  200. wrmsr(MSR_P4_CRU_ESCR0, 0, 0);
  201. }
  202. break;
  203. }
  204. nmi_active = -1;
  205. /* tell do_nmi() and others that we're not active any more */
  206. nmi_watchdog = 0;
  207. }
  208. static void enable_lapic_nmi_watchdog(void)
  209. {
  210. if (nmi_active < 0) {
  211. nmi_watchdog = NMI_LOCAL_APIC;
  212. touch_nmi_watchdog();
  213. setup_apic_nmi_watchdog();
  214. }
  215. }
  216. int reserve_lapic_nmi(void)
  217. {
  218. unsigned int old_owner;
  219. spin_lock(&lapic_nmi_owner_lock);
  220. old_owner = lapic_nmi_owner;
  221. lapic_nmi_owner |= LAPIC_NMI_RESERVED;
  222. spin_unlock(&lapic_nmi_owner_lock);
  223. if (old_owner & LAPIC_NMI_RESERVED)
  224. return -EBUSY;
  225. if (old_owner & LAPIC_NMI_WATCHDOG)
  226. disable_lapic_nmi_watchdog();
  227. return 0;
  228. }
  229. void release_lapic_nmi(void)
  230. {
  231. unsigned int new_owner;
  232. spin_lock(&lapic_nmi_owner_lock);
  233. new_owner = lapic_nmi_owner & ~LAPIC_NMI_RESERVED;
  234. lapic_nmi_owner = new_owner;
  235. spin_unlock(&lapic_nmi_owner_lock);
  236. if (new_owner & LAPIC_NMI_WATCHDOG)
  237. enable_lapic_nmi_watchdog();
  238. }
  239. void disable_timer_nmi_watchdog(void)
  240. {
  241. if ((nmi_watchdog != NMI_IO_APIC) || (nmi_active <= 0))
  242. return;
  243. disable_irq(0);
  244. unset_nmi_callback();
  245. nmi_active = -1;
  246. nmi_watchdog = NMI_NONE;
  247. }
  248. void enable_timer_nmi_watchdog(void)
  249. {
  250. if (nmi_active < 0) {
  251. nmi_watchdog = NMI_IO_APIC;
  252. touch_nmi_watchdog();
  253. nmi_active = 1;
  254. enable_irq(0);
  255. }
  256. }
  257. #ifdef CONFIG_PM
  258. static int nmi_pm_active; /* nmi_active before suspend */
  259. static int lapic_nmi_suspend(struct sys_device *dev, pm_message_t state)
  260. {
  261. nmi_pm_active = nmi_active;
  262. disable_lapic_nmi_watchdog();
  263. return 0;
  264. }
  265. static int lapic_nmi_resume(struct sys_device *dev)
  266. {
  267. if (nmi_pm_active > 0)
  268. enable_lapic_nmi_watchdog();
  269. return 0;
  270. }
  271. static struct sysdev_class nmi_sysclass = {
  272. set_kset_name("lapic_nmi"),
  273. .resume = lapic_nmi_resume,
  274. .suspend = lapic_nmi_suspend,
  275. };
  276. static struct sys_device device_lapic_nmi = {
  277. .id = 0,
  278. .cls = &nmi_sysclass,
  279. };
  280. static int __init init_lapic_nmi_sysfs(void)
  281. {
  282. int error;
  283. if (nmi_active == 0 || nmi_watchdog != NMI_LOCAL_APIC)
  284. return 0;
  285. error = sysdev_class_register(&nmi_sysclass);
  286. if (!error)
  287. error = sysdev_register(&device_lapic_nmi);
  288. return error;
  289. }
  290. /* must come after the local APIC's device_initcall() */
  291. late_initcall(init_lapic_nmi_sysfs);
  292. #endif /* CONFIG_PM */
  293. /*
  294. * Activate the NMI watchdog via the local APIC.
  295. * Original code written by Keith Owens.
  296. */
  297. static void clear_msr_range(unsigned int base, unsigned int n)
  298. {
  299. unsigned int i;
  300. for(i = 0; i < n; ++i)
  301. wrmsr(base+i, 0, 0);
  302. }
  303. static void setup_k7_watchdog(void)
  304. {
  305. int i;
  306. unsigned int evntsel;
  307. nmi_perfctr_msr = MSR_K7_PERFCTR0;
  308. for(i = 0; i < 4; ++i) {
  309. /* Simulator may not support it */
  310. if (checking_wrmsrl(MSR_K7_EVNTSEL0+i, 0UL)) {
  311. nmi_perfctr_msr = 0;
  312. return;
  313. }
  314. wrmsrl(MSR_K7_PERFCTR0+i, 0UL);
  315. }
  316. evntsel = K7_EVNTSEL_INT
  317. | K7_EVNTSEL_OS
  318. | K7_EVNTSEL_USR
  319. | K7_NMI_EVENT;
  320. wrmsr(MSR_K7_EVNTSEL0, evntsel, 0);
  321. wrmsrl(MSR_K7_PERFCTR0, -((u64)cpu_khz * 1000 / nmi_hz));
  322. apic_write(APIC_LVTPC, APIC_DM_NMI);
  323. evntsel |= K7_EVNTSEL_ENABLE;
  324. wrmsr(MSR_K7_EVNTSEL0, evntsel, 0);
  325. }
  326. static int setup_p4_watchdog(void)
  327. {
  328. unsigned int misc_enable, dummy;
  329. rdmsr(MSR_P4_MISC_ENABLE, misc_enable, dummy);
  330. if (!(misc_enable & MSR_P4_MISC_ENABLE_PERF_AVAIL))
  331. return 0;
  332. nmi_perfctr_msr = MSR_P4_IQ_COUNTER0;
  333. nmi_p4_cccr_val = P4_NMI_IQ_CCCR0;
  334. #ifdef CONFIG_SMP
  335. if (smp_num_siblings == 2)
  336. nmi_p4_cccr_val |= P4_CCCR_OVF_PMI1;
  337. #endif
  338. if (!(misc_enable & MSR_P4_MISC_ENABLE_PEBS_UNAVAIL))
  339. clear_msr_range(0x3F1, 2);
  340. /* MSR 0x3F0 seems to have a default value of 0xFC00, but current
  341. docs doesn't fully define it, so leave it alone for now. */
  342. if (boot_cpu_data.x86_model >= 0x3) {
  343. /* MSR_P4_IQ_ESCR0/1 (0x3ba/0x3bb) removed */
  344. clear_msr_range(0x3A0, 26);
  345. clear_msr_range(0x3BC, 3);
  346. } else {
  347. clear_msr_range(0x3A0, 31);
  348. }
  349. clear_msr_range(0x3C0, 6);
  350. clear_msr_range(0x3C8, 6);
  351. clear_msr_range(0x3E0, 2);
  352. clear_msr_range(MSR_P4_CCCR0, 18);
  353. clear_msr_range(MSR_P4_PERFCTR0, 18);
  354. wrmsr(MSR_P4_CRU_ESCR0, P4_NMI_CRU_ESCR0, 0);
  355. wrmsr(MSR_P4_IQ_CCCR0, P4_NMI_IQ_CCCR0 & ~P4_CCCR_ENABLE, 0);
  356. Dprintk("setting P4_IQ_COUNTER0 to 0x%08lx\n", -(cpu_khz * 1000UL / nmi_hz));
  357. wrmsrl(MSR_P4_IQ_COUNTER0, -((u64)cpu_khz * 1000 / nmi_hz));
  358. apic_write(APIC_LVTPC, APIC_DM_NMI);
  359. wrmsr(MSR_P4_IQ_CCCR0, nmi_p4_cccr_val, 0);
  360. return 1;
  361. }
  362. void setup_apic_nmi_watchdog(void)
  363. {
  364. switch (boot_cpu_data.x86_vendor) {
  365. case X86_VENDOR_AMD:
  366. if (boot_cpu_data.x86 != 15)
  367. return;
  368. if (strstr(boot_cpu_data.x86_model_id, "Screwdriver"))
  369. return;
  370. setup_k7_watchdog();
  371. break;
  372. case X86_VENDOR_INTEL:
  373. if (boot_cpu_data.x86 != 15)
  374. return;
  375. if (!setup_p4_watchdog())
  376. return;
  377. break;
  378. default:
  379. return;
  380. }
  381. lapic_nmi_owner = LAPIC_NMI_WATCHDOG;
  382. nmi_active = 1;
  383. }
  384. /*
  385. * the best way to detect whether a CPU has a 'hard lockup' problem
  386. * is to check it's local APIC timer IRQ counts. If they are not
  387. * changing then that CPU has some problem.
  388. *
  389. * as these watchdog NMI IRQs are generated on every CPU, we only
  390. * have to check the current processor.
  391. */
  392. static DEFINE_PER_CPU(unsigned, last_irq_sum);
  393. static DEFINE_PER_CPU(local_t, alert_counter);
  394. static DEFINE_PER_CPU(int, nmi_touch);
  395. void touch_nmi_watchdog (void)
  396. {
  397. if (nmi_watchdog > 0) {
  398. unsigned cpu;
  399. /*
  400. * Tell other CPUs to reset their alert counters. We cannot
  401. * do it ourselves because the alert count increase is not
  402. * atomic.
  403. */
  404. for_each_present_cpu (cpu)
  405. per_cpu(nmi_touch, cpu) = 1;
  406. }
  407. touch_softlockup_watchdog();
  408. }
  409. void __kprobes nmi_watchdog_tick(struct pt_regs * regs, unsigned reason)
  410. {
  411. int sum;
  412. int touched = 0;
  413. sum = read_pda(apic_timer_irqs);
  414. if (__get_cpu_var(nmi_touch)) {
  415. __get_cpu_var(nmi_touch) = 0;
  416. touched = 1;
  417. }
  418. #ifdef CONFIG_X86_MCE
  419. /* Could check oops_in_progress here too, but it's safer
  420. not too */
  421. if (atomic_read(&mce_entry) > 0)
  422. touched = 1;
  423. #endif
  424. if (!touched && __get_cpu_var(last_irq_sum) == sum) {
  425. /*
  426. * Ayiee, looks like this CPU is stuck ...
  427. * wait a few IRQs (5 seconds) before doing the oops ...
  428. */
  429. local_inc(&__get_cpu_var(alert_counter));
  430. if (local_read(&__get_cpu_var(alert_counter)) == 5*nmi_hz) {
  431. if (notify_die(DIE_NMI, "nmi", regs, reason, 2, SIGINT)
  432. == NOTIFY_STOP) {
  433. local_set(&__get_cpu_var(alert_counter), 0);
  434. return;
  435. }
  436. die_nmi("NMI Watchdog detected LOCKUP on CPU %d\n", regs);
  437. }
  438. } else {
  439. __get_cpu_var(last_irq_sum) = sum;
  440. local_set(&__get_cpu_var(alert_counter), 0);
  441. }
  442. if (nmi_perfctr_msr) {
  443. if (nmi_perfctr_msr == MSR_P4_IQ_COUNTER0) {
  444. /*
  445. * P4 quirks:
  446. * - An overflown perfctr will assert its interrupt
  447. * until the OVF flag in its CCCR is cleared.
  448. * - LVTPC is masked on interrupt and must be
  449. * unmasked by the LVTPC handler.
  450. */
  451. wrmsr(MSR_P4_IQ_CCCR0, nmi_p4_cccr_val, 0);
  452. apic_write(APIC_LVTPC, APIC_DM_NMI);
  453. }
  454. wrmsrl(nmi_perfctr_msr, -((u64)cpu_khz * 1000 / nmi_hz));
  455. }
  456. }
  457. static __kprobes int dummy_nmi_callback(struct pt_regs * regs, int cpu)
  458. {
  459. return 0;
  460. }
  461. static nmi_callback_t nmi_callback = dummy_nmi_callback;
  462. asmlinkage __kprobes void do_nmi(struct pt_regs * regs, long error_code)
  463. {
  464. int cpu = safe_smp_processor_id();
  465. nmi_enter();
  466. add_pda(__nmi_count,1);
  467. if (!rcu_dereference(nmi_callback)(regs, cpu))
  468. default_do_nmi(regs);
  469. nmi_exit();
  470. }
  471. void set_nmi_callback(nmi_callback_t callback)
  472. {
  473. vmalloc_sync_all();
  474. rcu_assign_pointer(nmi_callback, callback);
  475. }
  476. void unset_nmi_callback(void)
  477. {
  478. nmi_callback = dummy_nmi_callback;
  479. }
  480. #ifdef CONFIG_SYSCTL
  481. static int unknown_nmi_panic_callback(struct pt_regs *regs, int cpu)
  482. {
  483. unsigned char reason = get_nmi_reason();
  484. char buf[64];
  485. if (!(reason & 0xc0)) {
  486. sprintf(buf, "NMI received for unknown reason %02x\n", reason);
  487. die_nmi(buf,regs);
  488. }
  489. return 0;
  490. }
  491. /*
  492. * proc handler for /proc/sys/kernel/unknown_nmi_panic
  493. */
  494. int proc_unknown_nmi_panic(struct ctl_table *table, int write, struct file *file,
  495. void __user *buffer, size_t *length, loff_t *ppos)
  496. {
  497. int old_state;
  498. old_state = unknown_nmi_panic;
  499. proc_dointvec(table, write, file, buffer, length, ppos);
  500. if (!!old_state == !!unknown_nmi_panic)
  501. return 0;
  502. if (unknown_nmi_panic) {
  503. if (reserve_lapic_nmi() < 0) {
  504. unknown_nmi_panic = 0;
  505. return -EBUSY;
  506. } else {
  507. set_nmi_callback(unknown_nmi_panic_callback);
  508. }
  509. } else {
  510. release_lapic_nmi();
  511. unset_nmi_callback();
  512. }
  513. return 0;
  514. }
  515. #endif
  516. EXPORT_SYMBOL(nmi_active);
  517. EXPORT_SYMBOL(nmi_watchdog);
  518. EXPORT_SYMBOL(reserve_lapic_nmi);
  519. EXPORT_SYMBOL(release_lapic_nmi);
  520. EXPORT_SYMBOL(disable_timer_nmi_watchdog);
  521. EXPORT_SYMBOL(enable_timer_nmi_watchdog);
  522. EXPORT_SYMBOL(touch_nmi_watchdog);