On 14/09/2023 7:02 am, Juergen Gross wrote: > On 14.09.23 06:47, Xin Li wrote: >> Add an always inline API __wrmsrns() to embed the WRMSRNS instruction >> into the code. >> >> Tested-by: Shan Kang <shan.k...@intel.com> >> Signed-off-by: Xin Li <xin3...@intel.com> > > In order to avoid having to add paravirt support for WRMSRNS I think > xen_init_capabilities() should gain: > > + setup_clear_cpu_cap(X86_FEATURE_WRMSRNS);
Xen PV guests will never ever see WRMSRNS. Operating in CPL3, they have no possible way of adjusting an MSR which isn't serialising, because even the hypercall forms are serialising. Xen only exposes the bit for HVM guests. ~Andrew
