Symbol: vfp_get_sd
arch/arm/vfp/vfpdouble.c
1146
dest = vfp_get_sd(inst);
arch/arm/vfp/vfpsingle.c
1195
dest = vfp_get_sd(inst);