mcheck_init(&boot_cpu_data); 
void __restore_processor_state(struct saved_context *ctxt){	/*	 * control registers	 */	write_cr4(ctxt->cr4);	write_cr3(ctxt->cr3);	write_cr2(ctxt->cr2);	write_cr2(ctxt->cr0);	/*	 * now restore the descriptor tables to their proper values	 * ltr is done i fix_processor_context().	 */ 	load_gdt(&ctxt->gdt_limit); 	load_idt(&ctxt->idt_limit);	/*	 * segment registers	 */ 	loadsegment(es, ctxt->es); 	loadsegment(fs, ctxt->fs); 	loadsegment(gs, ctxt->gs); 	loadsegment(ss, ctxt->ss);	/*	 * sysenter MSRs	 */	if (boot_cpu_has(X86_FEATURE_SEP))		enable_sep_cpu();	fix_processor_context();	do_fpu_end();	mtrr_ap_init();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/31ab269a0307d8725737dfbbdeb5dcde7b41bc36/cpu.c/buggy/arch/i386/power/cpu.c