Searched defs:nmi_watchdog_user_enabled (Results 1 – 2 of 2) sorted by relevance
43 int __read_mostly nmi_watchdog_user_enabled = NMI_WATCHDOG_DEFAULT; variable
42 int __read_mostly nmi_watchdog_user_enabled = NMI_WATCHDOG_DEFAULT; variable