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