/* This function is called as soon the LAPIC NMI watchdog driver has everything in place and it's ready to check if the NMIs belong to the NMI watchdog  */
void cpu_nmi_set_wd_enabled(void)
/* This function is called as soon the LAPIC NMI watchdog driver has everything in place and it's ready to check if the NMIs belong to the NMI watchdog  */
void cpu_nmi_set_wd_enabled(void)
{
	__get_cpu_var(wd_enabled) = 1;
}