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

 
1#ifndef __CHECKER__
2#define CREATE_TRACE_POINTS
3#include "armada_trace.h"
4#endif