// SPDX-License-Identifier: GPL-2.0#include "virtgpu_drv.h" #define CREATE_TRACE_POINTS#include "virtgpu_trace.h"