> On 20 Mar 2023, at 09:09, Jan Beulich wrote:
>
> On 17.03.2023 14:19, Luca Fancellu wrote:
>> @@ -744,6 +773,9 @@ int arch_domain_create(struct domain *d,
>> if ( (rc = domain_vpci_init(d)) != 0 )
>> goto fail;
>>
>> +/* Copy and decode sve_vl from the domain configuration */
On 17.03.2023 14:19, Luca Fancellu wrote:
> @@ -744,6 +773,9 @@ int arch_domain_create(struct domain *d,
> if ( (rc = domain_vpci_init(d)) != 0 )
> goto fail;
>
> +/* Copy and decode sve_vl from the domain configuration */
> +d->arch.sve_vl_bits = domainconfig_decode_vl(conf
Add sve_vl_bits field to arch_domain and sve_vl field to
xen_arch_domainconfig struct, to allow the domain to have an
information about the SVE feature and the number of SVE register
bits that are allowed for this domain.
sve_vl field is the vector length in bits divided by 128, this
allows to use
