On 23.11.2017 18:17, Paolo Bonzini wrote: > On 23/11/2017 17:59, David Hildenbrand wrote: >> On 21.11.2017 18:22, Mark Kanda wrote: >>> The potential performance advantages of a vmcs02 pool have never been >>> realized. To simplify the code, eliminate the pool. Instead, a single >>> vmcs02 is allocated per VCPU when the VCPU enters VMX operation. >> >> Did you do any performance measurement to come to the conclusion that we >> can remove it? :) > > This is enough I guess: > > #define VMCS02_POOL_SIZE 1 > > so there wasn't really a pool of them... > > Paolo > Then, getting rid of it makes perfect sense :) -- Thanks, David / dhildenb