i3450 VTX MSR

IA32_VMX_BASIC MSR (index 480H)

EDX =  0x00DA_0400

EAX =   0x0000_0010

----------------------------------------------------------------

IA32_VMX_PINBASED_CTLS MSR (index 481H)

EDX = 0x7F

EAX = 0X16

----------------------------------------------------------------

IA32_VMX_PROCBASED_CTLS MSR (index 482H)

EDX = 0xFFF9_FFFE

EAX = 0X0401_E172

----------------------------------------------------------------

IA32_VMX_EXIT_CTLS MSR (index 483H)

EDX = 0x007F_FFFF

EAX = 0x0003_6DFF

----------------------------------------------------------------

IA32_VMX_ENTRY_CTLS  (index 484H)

EDX = 0x0000_FFFF

EAX = 0x0000_1FFF

----------------------------------------------------------------

IA32_VMX_CR0_FIXED0 MSR (index 486H)

 

EDX = 0x0

EAX = 0x8000_0021

----------------------------------------------------------------

IA32_VMX_CR0_FIXED1 MSR(index 487H)

EDX = 0x0

EAX = 0xFFFF_FFFF

----------------------------------------------------------------

IA32_VMX_PROCBASED_CTLS2 MSR (index 48BH)

EDX = 0x8FF

EAX = 0x0

----------------------------------------------------------------

IA32_VMX_EPT_VPID_CAP MSR (index 48CH)

EDX = 0xF01

EAX = 0x06114141

----------------------------------------------------------------

IA32_VMX_TRUE_PROCBASED_CTLS MSR (index 48EH)

EDX = 0xFFF9_FFFE

EAX = 0x0400_6172

----------------------------------------------------------------

IA32_VMX_TRUE_EXIT_CTLS MSR (index 48FH)

EDX = 0x007F_FFFF

EAX = 0x0003_6DFB

----------------------------------------------------------------

IA32_VMX_TURE_PINBASED_CTLS MSR (index 48dH)

EDX = 0x7F

EAX = 0X16

----------------------------------------------------------------

IA32_VMX_TRUE_ENTRY_CTLS MSR (index 490H)

EDX = 0x0000_FFFF

EAX = 0X0000_11FB

----------------------------------------------------------------