1 | // SPDX-License-Identifier: GPL-2.0+ |
---|---|
2 | /* Copyright (C) 2015 Broadcom */ |
3 | |
4 | #include "v3d_drv.h" |
5 | |
6 | #ifndef __CHECKER__ |
7 | #define CREATE_TRACE_POINTS |
8 | #include "v3d_trace.h" |
9 | #endif |
10 |
1 | // SPDX-License-Identifier: GPL-2.0+ |
---|---|
2 | /* Copyright (C) 2015 Broadcom */ |
3 | |
4 | #include "v3d_drv.h" |
5 | |
6 | #ifndef __CHECKER__ |
7 | #define CREATE_TRACE_POINTS |
8 | #include "v3d_trace.h" |
9 | #endif |
10 |