On 11/10/2018 15:00, Vitaly Kuznetsov wrote:
>> Yes. that need to rename ept_pointer.
>>
> Honestly, I would prefer to keep more information cached, e.g. if
> someone needs EPT configuration data later he can easily get it from
> ept_pointer and by putting raw cr3 there we'll just keep less.
> 
> But I don't have a strong opinion, I'll leave it up to the maintainers
> to tell us how to proceed)
> 

I have (re)applied your patch (I had queued it and tested it earlier,
now I've added it back).

Paolo