copy_core_reg_indices
return copy_core_reg_indices(vcpu, NULL);
ret = copy_core_reg_indices(vcpu, uindices);
ret = copy_core_reg_indices(uindices);