On 10/13/20 13:09, Marc Zyngier wrote: > On 2020-10-13 12:59, Qais Yousef wrote: > > Thanks both. > > > > So using the vcpu->arch.target = -1 is the best way forward. In my > > experiments > > when I did that I considered calling kvm_reset_vcpu() too, does it make > > sense > > to force the reset here too? Or too heavy handed? > > No, userspace should know about it and take action if it wants too. > Trying to fix it behind the scenes is setting expectations, which > I'd really like to avoid. Cool I thought so but I wanted to hear it directly :-) Thanks! -- Qais Yousef