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