On Wed, Feb 14, 2007 at 03:20:18PM +0200, Avi Kivity wrote:
> Well, there's probably an emulator bug somewhere.
> 
> Can you add a printk() to set_cr4() in kvm_main.c and see what the guest 
> does?  The documentation states that it's up to the OS to enable the 
> bit, so I can't just apply the previous patch, even though it fixes the 
> problem.

set_cr4: set 0000000000000010
set_cr4: set 0000000000000090
set_cr4: set 0000000000000098
set_cr4: set 00000000000000b8

Here is it. If I get it right, the guest never sets 0x200 then ?

-Waba.

PS: I'll be on holidays and unable to read my mail until Thursday.

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
kvm-devel mailing list
kvm-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/kvm-devel

Reply via email to