/* * Copyright (C) 2015 Broadcom * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */#include"vc4_drv.h"#ifndef __CHECKER__#define CREATE_TRACE_POINTS#include"vc4_trace.h"#endif