Julien Grall writes ("Re: [PATCH v6 3/3] arm/libxl: Emulated PCI device tree
node in libxl [and 1 more messages]"):
> Long term, I would expect a similar check to be necessary to set the
> vCPI flag at the domain creation. So it would be best to introduce an
> internal field 'vpci' to avoid duplicating that check. (Note I am not
> requesting this change for Xen 4.16).Yes, I agree with all of that. Ian.
