On 08/10/2018 00:15, Liran Alon wrote: > Please ignore last email idea. Not really practical… No problem :) > I don’t know what is worse in it: The fact there is no vmcs12 to check if it uses EPT > or the fact that there is no easy way to translate between a vmcs12->vpid to all the active eptp02 that it was used on… > Sorry for the spam. :) > > I will just submit a fix for the bug of calling __vmx_flush_tlb() with bad parameter. Thanks! Paolo