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

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