vfp_get_dd       1148 arch/arm/vfp/vfpdouble.c 		dest = vfp_get_dd(inst);
vfp_get_dd       1193 arch/arm/vfp/vfpsingle.c 		dest = vfp_get_dd(inst);