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