[Xen-devel] [PATCH]Save per cpu IDT information into the VMCS host area

["Li, Chengyuan" <chengyuan.li@xxxxxxxxx>]

Save per cpu IDT information into the VMCS host area.

Without this, we may be saving the IDT info from the wrong cpu into the
vmcs.
This makes domU work in the presence of VMX domains on SMP/HT enabled
machines.

Signed-off-by: Chengyuan Li <chengyuan.li@xxxxxxxxx>
Signed-off-by: Xiaofeng Ling <xiaofeng.ling@xxxxxxxxx> 
Signed-off-by: Arun Sharma <arun.sharma@xxxxxxxxx>


Thanks,
Chengyuan

Attachment: save_per_cpu_idt.patch
Description: save_per_cpu_idt.patch

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel