// SPDX-License-Identifier: GPL-2.0
/*
 * Tracepoints for Thunderbolt/USB4 networking driver
 *
 * Copyright (C) 2023, Intel Corporation
 * Author: Mika Westerberg <mika.westerberg@linux.intel.com>
 */

#define CREATE_TRACE_POINTS
#include "trace.h"