vfp_get_double
asmlinkage u64 vfp_get_double(unsigned int reg);
vfp_double_unpack(&vdn, vfp_get_double(dn));
vfp_double_unpack(&vdm, vfp_get_double(dm));
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_double_unpack(&vdm, vfp_get_double(dm));
m = vfp_get_double(dm);
d = vfp_get_double(dd);
vfp_double_unpack(&vdm, vfp_get_double(dm));
vfp_double_unpack(&vdm, vfp_get_double(dm));
vfp_double_unpack(&vdm, vfp_get_double(dm));
vfp_double_unpack(&vdn, vfp_get_double(dn));
vfp_double_unpack(&vdm, vfp_get_double(dm));
vfp_double_unpack(&vdn, vfp_get_double(dd));
vfp_double_unpack(&vdn, vfp_get_double(dn));
vfp_double_unpack(&vdm, vfp_get_double(dm));
vfp_double_unpack(&vdn, vfp_get_double(dn));
vfp_double_unpack(&vdm, vfp_get_double(dm));
vfp_double_unpack(&vdn, vfp_get_double(dn));
vfp_double_unpack(&vdm, vfp_get_double(dm));
vfp_double_unpack(&vdn, vfp_get_double(dn));
vfp_double_unpack(&vdm, vfp_get_double(dm));