Hi, in vmx_vcpu_setup() is this code:
vmcs_writel(GUEST_IDTR_BASE, 0);
vmcs_write32(GUEST_IDTR_LIMIT, 0xffff);
But if you use SIDT on a real processor, after boot-up, you will see the
real-mode base is in fact 0, but the limit is 0x3ff. That is, in fact,
the base an limit you are supposed to use when you switch back to real
mode from protected mode.
So 0xffff should be changed to 0x03ff in the lines above.
Please write back with any comments...
Willow Schlanger
-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/
_______________________________________________
kvm-devel mailing list
kvm-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/kvm-devel
