On 05/11/2014 21:31, Nadav Amit wrote: > You are correct, it does not appear clearly in the SDM, but that is what real hardware does. > If you look at bochs - http://code.metager.de/source/xref/bochs/bochs/cpu/init.cc - you’ll see they call > "BX_CPU_THIS_PTR xcr0.set32(0x1);” regardless to whether it is hardware or software reset (the latter happens on INIT). Fair enough. :) Does the patch in http://permalink.gmane.org/gmane.comp.emulators.kvm.devel/129060 look good? Paolo -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
