[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH] tools/libxl: Fix build following c/s 74fd984ae



On Mon, Apr 09, 2018 at 11:29:28AM +0100, Julien Grall wrote:
> Hi,
> 
> On 06/04/18 10:33, Wei Liu wrote:
> > On Fri, Apr 06, 2018 at 10:03:14AM +0100, Julien Grall wrote:
> > > This is wrong. gicv_to_string works on XEN_DOMCTL_* define and not the 
> > > LIBXL_GIC_*.
> > > So this will not give the right output.
> > > 
> > > I would suggest to revert that patch and I will send one that actually 
> > > fix the compilation.
> > > Not sure I would be able to do it today thought.
> > > 
> > 
> > OK, I will revert this patch.
> 
> I have looked at a potential way to fix it. The original patch (74fd984ae6)
> assumption is incorrect. Some of information from xc_domain_configuration_t
> is not written back ton libxl__domain_build_state.
> 
> For instance, this is the case of the clock frequency. That field is used to
> workaround bootloader/firmware that didn't configure correct CNTFRQ. If we
> detect such platform, we will read the host clock frequency from the host
> Device-Tree and write it to the guest Device-Tree. This should never be
> exposed to the guest.

Not sure I follow. If you write that value to guest DT, guest should be
able to see it?

> 
> Arguably, this field should not belong to xc_domain_configuration_t. So I
> can see two solutions:
>       1) Store the frequency in libxl__domain_build_state
>       2) Introduce a different hypercall to get the system frequency. I guess 
> we
> could piggy-back on Andrew's idea to provide
> XEN_DOMCTL_{get,set}_arch_settings.
> 
> The latter will require some rework in the code and define a new API. Not
> sure if that would be acceptable for Xen 4.11.
> 
> Any opinions?

#1 seems simpler to me, especially since we already have vuart (ARM
only) information in libxl__domain_build_state.

Wei.

> 
> Cheers,
> 
> -- 
> Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.