do_fpu_end(void) 
static void do_fpu_end(void) 
do_fpu_end(void){        /* restore FPU regs if necessary */	/* Do it out of line so that gcc does not move cr0 load to some stupid place */        kernel_fpu_end();	mxcsr_feature_mask_init();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/08967f941ad897b2f7c2f99e886c75d6319e5087/suspend.c/buggy/arch/x86_64/kernel/suspend.c