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 _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
