We don't need to try to destroy it since it can't be already allocated at the
time we try to initialize it.
Suggested-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
struct vpmu_struct *vpmu = vcpu_vpmu(v);
uint8_t family = current_cpu_data.x86;
- if ( vpmu_is_set(vpmu, VPMU_CONTEXT_ALLOCATED) )
- return 0;
-
if ( counters == NULL )
{
switch ( family )
if ( is_pvh_vcpu(v) )
return;
- if ( vpmu_is_set(vpmu, VPMU_CONTEXT_ALLOCATED) )
- vpmu_destroy(v);
- vpmu_clear(vpmu);
- vpmu->context = NULL;
+ ASSERT(!vpmu->flags && !vpmu->context);
switch ( vendor )
{