KVM_CAP_HYPERV_TLBFLUSH
case KVM_CAP_HYPERV_TLBFLUSH:
TEST_REQUIRE(kvm_has_cap(KVM_CAP_HYPERV_TLBFLUSH));