/*
 * SPDX-License-Identifier: GPL-2.0-or-later
 */
#include "trace/trace-hw_vfio_user.h"