On 06/05/2014 08:02 AM, Nadav Amit wrote: >> I'm sorry, I'm missing the place where 64-bit mode is taken into account? > It is not, since on 32-bit mode the high-order 16 bits of a register destination are undefined. > If I recall correctly, in this case the high-order 16-bits on native system actually reflect the high-order 16-bits of CR0. This sounds like something that really should be verified experimentally. The above claim seems... odd. -hpa -- 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