162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0
262306a36Sopenharmony_ci#ifndef __CHECKER__
362306a36Sopenharmony_ci#define CREATE_TRACE_POINTS
462306a36Sopenharmony_ci#include "armada_trace.h"
562306a36Sopenharmony_ci#endif
6