void __init fpu_init(void) 
void __cpuinit fpu_init(void) 
void __init fpu_init(void){	unsigned long oldcr0 = read_cr0();	extern void __bad_fxsave_alignment(void);			if (offsetof(struct task_struct, thread.i387.fxsave) & 15)		__bad_fxsave_alignment();	set_in_cr4(X86_CR4_OSFXSR);	set_in_cr4(X86_CR4_OSXMMEXCPT);	write_cr0(oldcr0 & ~((1UL<<3)|(1UL<<2))); /* clear TS and EM */	mxcsr_feature_mask_init();	/* clean state in init */	current_thread_info()->status = 0;	clear_used_math();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/i387.c/clean/arch/x86_64/kernel/i387.c