62 static inline void send_corea_nmi(void)  in send_corea_nmi()  argument
72 static inline void restore_corea_nmi(void)  in restore_corea_nmi()  argument
81 static inline void save_corelock(void)  in save_corelock()  argument
87 static inline void restore_corelock(void)  in restore_corelock()  argument
93 static inline void nmi_wdt_keepalive(void)  in nmi_wdt_keepalive()  argument
98 static inline void nmi_wdt_stop(void)  in nmi_wdt_stop()  argument
104 static inline void nmi_wdt_clear(void)  in nmi_wdt_clear()  argument
110 static inline void nmi_wdt_start(void)  in nmi_wdt_start()  argument
115 static inline int nmi_wdt_running(void)  in nmi_wdt_running()  argument
144 int check_nmi_wdt_touched(void)  in check_nmi_wdt_touched()  argument
176 static int __init init_nmi_wdt(void)  in init_nmi_wdt()  argument
192 void touch_nmi_watchdog(void)  in touch_nmi_watchdog()  argument
199 static int nmi_wdt_suspend(void)  in nmi_wdt_suspend()  argument
205 static void nmi_wdt_resume(void)  in nmi_wdt_resume()  argument
216 static int __init init_nmi_wdt_syscore(void)  in init_nmi_wdt_syscore()  argument