Re: [Xen-devel] [PATCH v2 04/12] xen/evtchn: Pass max_evtchn_port into evtchn_init()

2018-08-15 Thread Julien Grall
Hi Andrew, On 08/13/2018 11:01 AM, Andrew Cooper wrote: ... rather than setting it up once domain_create() has completed. This involves constructing a default value for dom0. No practical change in functionality. Signed-off-by: Andrew Cooper For the Arm bits: Acked-by: Julien Grall Chee

Re: [Xen-devel] [PATCH v2 04/12] xen/evtchn: Pass max_evtchn_port into evtchn_init()

2018-08-15 Thread Jan Beulich
>>> On 13.08.18 at 12:01, wrote: > ... rather than setting it up once domain_create() has completed. This > involves constructing a default value for dom0. > > No practical change in functionality. > > Signed-off-by: Andrew Cooper Reviewed-by: Jan Beulich _

Re: [Xen-devel] [PATCH v2 04/12] xen/evtchn: Pass max_evtchn_port into evtchn_init()

2018-08-14 Thread Roger Pau Monné
On Mon, Aug 13, 2018 at 11:01:01AM +0100, Andrew Cooper wrote: > ... rather than setting it up once domain_create() has completed. This > involves constructing a default value for dom0. > > No practical change in functionality. > > Signed-off-by: Andrew Cooper Reviewed-by: Roger Pau Monné __

[Xen-devel] [PATCH v2 04/12] xen/evtchn: Pass max_evtchn_port into evtchn_init()

2018-08-13 Thread Andrew Cooper
... rather than setting it up once domain_create() has completed. This involves constructing a default value for dom0. No practical change in functionality. Signed-off-by: Andrew Cooper --- CC: Jan Beulich CC: Stefano Stabellini CC: Julien Grall CC: Wei Liu --- xen/arch/arm/setup.c |