write_watchdog_counter32  387 arch/x86/kernel/cpu/perfctr-watchdog.c 	write_watchdog_counter32(perfctr_msr, "P6_PERFCTR0",nmi_hz);
write_watchdog_counter32  415 arch/x86/kernel/cpu/perfctr-watchdog.c 	write_watchdog_counter32(wd->perfctr_msr, NULL,nmi_hz);
write_watchdog_counter32  680 arch/x86/kernel/cpu/perfctr-watchdog.c 	write_watchdog_counter32(perfctr_msr, "INTEL_ARCH_PERFCTR0", nmi_hz);