# CONFIG_HYPERV_TESTING is not set