TS_FPROFFSET
tmp[0] = cpu_to_be64(u.dw[TS_FPROFFSET]);
u.dw[TS_FPROFFSET] = be64_to_cpu(src[0]);
return vcpu->arch.fp.fpr[i][TS_FPROFFSET];
vcpu->arch.fp.fpr[i][TS_FPROFFSET] = val;
vcpu->arch.fp.fpr[i][TS_FPROFFSET] = val;
return vcpu->arch.fp.fpr[i][TS_FPROFFSET];
#define VCPU_FPR(vcpu, i) (vcpu)->arch.fp.fpr[i][TS_FPROFFSET]
#define TS_FPR(i) fp_state.fpr[i][TS_FPROFFSET]
#define TS_CKFPR(i) ckfp_state.fpr[i][TS_FPROFFSET]