lapic_wd_event    452 arch/x86/kernel/nmi.c 		rc |= lapic_wd_event(nmi_hz);
lapic_wd_event     73 include/asm-x86/nmi.h int lapic_wd_event(unsigned nmi_hz);