Thus spake Gleb Natapov <gleb@xxxxxxxxxx>: > It should, so why not move the fix to kvm_vcpu_reset() so it will work > for both. Also what about R8-R15? Intel SDM says nothing about them in > the section you mention, but in Volume 1 section 3.4.1.1 is says: [...] > I take it that they are undefined on the first transition to 64-bit mode > too. AMD spec says that they should be zeroed on reset, so lets do that. > Also SVM does not set EDX to correct value on reset. It should be: I have posted a new version of the patch taking your suggestions into account. The VMX version is working for me. I could not test it on AMD hardware, though. Julian -- 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