162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * Copyright (C) 2015 Broadcom 462306a36Sopenharmony_ci */ 562306a36Sopenharmony_ci 662306a36Sopenharmony_ci#include "vc4_drv.h" 762306a36Sopenharmony_ci 862306a36Sopenharmony_ci#ifndef __CHECKER__ 962306a36Sopenharmony_ci#define CREATE_TRACE_POINTS 1062306a36Sopenharmony_ci#include "vc4_trace.h" 1162306a36Sopenharmony_ci#endif 12