/* * Copyright (C) 2015 Broadcom * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */ #include "vc4_drv.h" #ifndef __CHECKER__ #define CREATE_TRACE_POINTS #include "vc4_trace.h" #endif