On 19/01/18 16:03, Jan Beulich wrote: > --- a/xen/include/asm-x86/flushtlb.h > +++ b/xen/include/asm-x86/flushtlb.h > @@ -101,6 +101,8 @@ void write_cr3(unsigned long cr3); > #define FLUSH_CACHE 0x400 > /* VA for the flush has a valid mapping */ > #define FLUSH_VA_VALID 0x800 > + /* Flush CPU state */ > +#define FLUSH_STATE 0x1000
STATE could legitimately describe any of the other FLUSH flags. FLUSH_VCPU_STATE ? ~Andrew _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
