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