text: /*
   * 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
  