I'm not really convinced of the change done in v3, even less so with x86'es pv/domain.h not really having been suitable for inclusion in spec-ctrl.c (needed an extra, seemingly unrelated adjustment), but in the interest of getting this done, here you go.
1: x86: report use of PCID together with reporting XPTI status 2: x86/spec-ctrl: split reporting for PV and HVM guests Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel