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
