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