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