On 09/10/21 04:12, Sean Christopherson wrote: > + /* Nothing to do if PI.SN==0 and the vCPU isn't being migrated. */ > if (!pi_test_sn(pi_desc) && vcpu->cpu == cpu) > return; This does not quite say "why", so: /* Nothing to do if PI.SN and PI.NDST both have the desired value. */ Paolo