kvm_hv_send_ipi_to_many
kvm_hv_send_ipi_to_many(kvm, vector, NULL, 0);
kvm_hv_send_ipi_to_many(kvm, vector, sparse_banks, valid_bank_mask);