1*0b3d881aSJohn Levon /* 2*0b3d881aSJohn Levon * SPDX-License-Identifier: GPL-2.0-or-later 3*0b3d881aSJohn Levon */ 4*0b3d881aSJohn Levon #include "trace/trace-hw_vfio_user.h" 5