18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Copyright (C) 2015 Broadcom 48c2ecf20Sopenharmony_ci */ 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ci#include "vc4_drv.h" 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#ifndef __CHECKER__ 98c2ecf20Sopenharmony_ci#define CREATE_TRACE_POINTS 108c2ecf20Sopenharmony_ci#include "vc4_trace.h" 118c2ecf20Sopenharmony_ci#endif 12