On 6/21/22 15:17, Vitaly Kuznetsov wrote:

quoted

Just to be clear, PV IPI does*not*  support the VP_ID, right?

Hm, with Hyper-V PV IPI hypercall vCPUs are also addressed by their
VP_IDs, not by their APIC ids so similar to Hyper-V PV TLB flush we need
to convert the supplied set (either flat u64 bitmask of VP_IDs for
non-EX hypercall or a sparse set for -EX).

So this means the series needs a v8, right?

Paolo