kvmppc_gse_put_vector128
rc = kvmppc_gse_put_vector128(gsb, iden, &v);
rc = kvmppc_gse_put_vector128(gsb, iden,
rc = kvmppc_gse_put_vector128(gsb, KVMPPC_GSID_VSRS(0), &u.v);