kvmppc_get_fpr
*val = get_reg_val(id, kvmppc_get_fpr(vcpu, i));
kvmppc_get_fpr(vcpu, op.reg), size, 1);