[Xen-devel] vmcs_revision_id: do we care?

[Daniel Li <dli@xxxxxxxxxxxxxxx>]

Right now when xen finds out a SMP host has processors with different 
vmcs_revision_id, it considers it a bug.
xen/arch/x86/hvm/vmx/vmcs.c:vmx_init_vmcs_config():

rdmsr(MSR_IA32_VMX_BASIC_MSR, vmx_msr_low, vmx_msr_high);

if ( smp_processor_id() == 0 )
{
   vmcs_revision_id = vmx_msr_low;
}
else
{
   BUG_ON(vmcs_revision_id != vmx_msr_low);
}

Does anyone know why are we doing this? Can we change that check into a 
warning message?
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel