/* | |
* 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 |