1 /*
2  * Copyright (C) 2015 Broadcom
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License version 2 as
6  * published by the Free Software Foundation.
7  */
8 
9 #include "vc4_drv.h"
10 
11 #ifndef __CHECKER__
12 #define CREATE_TRACE_POINTS
13 #include "vc4_trace.h"
14 #endif
15