do_machine_check(NULL, -1); 
do_machine_check(NULL, mce_bootlog ? -1 : -2); 
static void mce_init(void *dummy){	u64 cap;	int i;	rdmsrl(MSR_IA32_MCG_CAP, cap);	banks = cap & 0xff;	if (banks > NR_BANKS) { 		printk(KERN_INFO "MCE: warning: using only %d banks\n", banks);		banks = NR_BANKS; 	}	/* Use accurate RIP reporting if available. */	if ((cap & (1<<9)) && ((cap >> 16) & 0xff) >= 9)		rip_msr = MSR_IA32_MCG_EIP;	/* Log the machine checks left over from the previous reset.	   This also clears all registers */	do_machine_check(NULL, -1);	set_in_cr4(X86_CR4_MCE);	if (cap & MCG_CTL_P)		wrmsr(MSR_IA32_MCG_CTL, 0xffffffff, 0xffffffff);	for (i = 0; i < banks; i++) {		wrmsrl(MSR_IA32_MC0_CTL+4*i, bank[i]);		wrmsrl(MSR_IA32_MC0_STATUS+4*i, 0);	}	}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5172f263f76ca6d588f533c0989b22521fcbac2/mce.c/clean/arch/x86_64/kernel/mce.c