cmci_intel_adjust_timer 1775 arch/x86/kernel/cpu/mce/core.c 		mce_adjust_timer = cmci_intel_adjust_timer;
cmci_intel_adjust_timer   44 arch/x86/kernel/cpu/mce/internal.h unsigned long cmci_intel_adjust_timer(unsigned long interval);