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