> On 17 Mar 2023, at 13:19, Luca Fancellu <luca.fance...@arm.com> wrote: > > > arch_cap_flags = caml_alloc_small(1, arch_cap_flags_tag); > Store_field(arch_cap_flags, 0, arch_cap_list); > Store_field(physinfo, 10, arch_cap_flags); > +#elif defined(__aarch64__) > + Store_field(physinfo, 10, Val_int(c_physinfo.arch_capabilities)); > +#else > + caml_failwith("Unhandled architecture"); > +#endif > Is this code overwriting an existing entry that was computed but now isn’t used? If so, should the conditional compilation not avoid this? — C
- [PATCH v3 00/10] SVE feature for arm guests Luca Fancellu
- [PATCH v3 02/10] xen/arm: add SVE vector length fiel... Luca Fancellu
- Re: [PATCH v3 02/10] xen/arm: add SVE vector len... Jan Beulich
- Re: [PATCH v3 02/10] xen/arm: add SVE vector... Luca Fancellu
- [PATCH v3 01/10] xen/arm: enable SVE extension for X... Luca Fancellu
- [PATCH v3 03/10] xen/arm: Expose SVE feature to the ... Luca Fancellu
- [PATCH v3 07/10] xen/physinfo: encode Arm SVE vector... Luca Fancellu
- [PATCH v3 04/10] xen/arm: add SVE exception class ha... Luca Fancellu
- [PATCH v3 08/10] tools: add physinfo arch_capabiliti... Luca Fancellu
- Re: [PATCH v3 08/10] tools: add physinfo arch_ca... George Dunlap
- Re: [PATCH v3 08/10] tools: add physinfo arch_ca... Christian Lindig
- Re: [PATCH v3 08/10] tools: add physinfo arc... Luca Fancellu
- Re: [PATCH v3 08/10] tools: add physinfo... Christian Lindig
- [PATCH v3 06/10] xen/arm: enable Dom0 to use SVE fea... Luca Fancellu
- Re: [PATCH v3 06/10] xen/arm: enable Dom0 to use... Jan Beulich
- Re: [PATCH v3 06/10] xen/arm: enable Dom0 to... Luca Fancellu
- Re: [PATCH v3 06/10] xen/arm: enable Dom... Jan Beulich
- [PATCH v3 10/10] xen/arm: add sve property for dom0l... Luca Fancellu
- [PATCH v3 09/10] xen/tools: add sve parameter in XL ... Luca Fancellu
- [PATCH v3 05/10] arm/sve: save/restore SVE context s... Luca Fancellu