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
