Re: [Xen-devel] [PATCH v1] bump XEN_DOMCTL_INTERFACE_VERSION

2018-11-20 Thread Jan Beulich
>>> On 20.11.18 at 11:56, wrote: > Without this change valgrind can not decide what variant of > xen_domctl_createdomain is provided as input. > > Fixes commit 4a83497635 ("xen/domctl: Merge set_max_evtchn into createdomain") > Fixes commit a903bf5233 ("tools: Pass grant table limits to > XEN_DO

[Xen-devel] [PATCH v1] bump XEN_DOMCTL_INTERFACE_VERSION

2018-11-20 Thread Olaf Hering
Without this change valgrind can not decide what variant of xen_domctl_createdomain is provided as input. Fixes commit 4a83497635 ("xen/domctl: Merge set_max_evtchn into createdomain") Fixes commit a903bf5233 ("tools: Pass grant table limits to XEN_DOMCTL_set_gnttab_limits") Fixes commit ae8b8bc5