[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
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |