linux/drivers/gpu/drm/virtio/virtgpu_trace_points.c