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