1// SPDX-License-Identifier: GPL-2.0-only2/*3 * Copyright (C) 2015 Broadcom4 */5 6#include "vc4_drv.h"7 8#ifndef __CHECKER__9#define CREATE_TRACE_POINTS10#include "vc4_trace.h"11#endif12
