>>> On 22.01.18 at 13:32, <[email protected]> wrote:
> @@ -212,6 +249,24 @@ int pv_domain_initialise(struct domain *d, unsigned int
> domcr_flags,
> /* 64-bit PV guest by default. */
> d->arch.is_32bit_pv = d->arch.has_32bit_shinfo = 0;
>
> + switch (opt_xpti)
Style.
> + {
> + case XPTI_OFF:
> + d->arch.pv_domain.xpti = false;
> + break;
> + case XPTI_ON:
> + d->arch.pv_domain.xpti = true;
> + break;
> + case XPTI_NODOM0:
> + d->arch.pv_domain.xpti = boot_cpu_data.x86_vendor != X86_VENDOR_AMD
> &&
> + d->domain_id != 0 &&
> + d->domain_id != hardware_domid;
> + break;
> + case XPTI_DEFAULT:
> + d->arch.pv_domain.xpti = boot_cpu_data.x86_vendor != X86_VENDOR_AMD;
> + break;
> + }
Why does a 32-bit domain need this?
Jan
_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel
