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