Hm, with Hyper-V PV IPI hypercall vCPUs are also addressed by their
Just to be clear, PV IPI does*not* support the VP_ID, right?
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).