18c2ecf20Sopenharmony_ci/* 28c2ecf20Sopenharmony_ci * If the FPU is used inside the kernel, 38c2ecf20Sopenharmony_ci * kernel_fpu_end() will be defined here. 48c2ecf20Sopenharmony_ci */ 5