kvmppc_gse_get_vector128
kvmppc_gse_get_vector128(gse, &v);
kvmppc_gse_get_vector128(gse, &vcpu->arch.vr.vr[i]);
kvmppc_gse_get_vector128(curr, &u.v);