xref: /linux/drivers/gpu/drm/armada/armada_trace.c (revision 76727c2c3bf4a5e58dff8cca23d0147ba08fb2c8)
1 // SPDX-License-Identifier: GPL-2.0
2 #ifndef __CHECKER__
3 #define CREATE_TRACE_POINTS
4 #include "armada_trace.h"
5 #endif
6