vfp_put_double
asmlinkage void vfp_put_double(u64 val, unsigned int reg);
vfp_put_double(vfp_double_pack(&vdd), dd);
vfp_put_double(vfp_double_pack(&vfp_double_default_qnan), dd);
vfp_put_double(d, dd);
vfp_put_double(vfp_double_packed_abs(vfp_get_double(dm)), dd);
vfp_put_double(vfp_get_double(dm), dd);
vfp_put_double(vfp_double_packed_negate(vfp_get_double(dm)), dd);
vfp_put_double(vfp_double_pack(vdp), dd);
vfp_put_double(vfp_double_pack(&vdd), dd);