KVM_CAP_HYPERV_SEND_IPI
case KVM_CAP_HYPERV_SEND_IPI:
TEST_REQUIRE(kvm_has_cap(KVM_CAP_HYPERV_SEND_IPI));