root/drivers/gpu/drm/armada/armada_trace.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 #ifndef __CHECKER__
   3 #define CREATE_TRACE_POINTS
   4 #include "armada_trace.h"
   5 #endif