Maybe I've been looking at this code too long, but it appears that on __kvm_vcpu_return we save/restore fp/simd registers and then change to hyp role. In between if we get an interrupt vCPU may be migrated to another CPU? Or am I missing something? Thanks, - Mario -- 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