1*4882a593Smuzhiyun /* 2*4882a593Smuzhiyun * If the FPU is used inside the kernel, 3*4882a593Smuzhiyun * kernel_fpu_end() will be defined here. 4*4882a593Smuzhiyun */ 5