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