On 22/01/2018 09:31, Jan Beulich wrote:
>>>> On 19.01.18 at 18:40, <[email protected]> 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.

In which case, Reviewed-by: Andrew Cooper <[email protected]>

_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to