// SPDX-License-Identifier: GPL-2.0 // Copyright (C) 2005-2019 Andes Technology Corporation #include #include #include #include void fsi2d(void *ft, void *fa) { int a = *(int *)fa; FP_DECL_D(R); FP_DECL_EX; FP_FROM_INT_D(R, a, 32, int); FP_PACK_DP(ft, R); __FPU_FPCSR |= FP_CUR_EXCEPTIONS; }