>>> On 19.01.18 at 18:40, <andrew.coop...@citrix.com> wrote: > 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 ?
Fine by me. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
