brintos / linux-shallow public Read only

1// SPDX-License-Identifier: GPL-2.02#ifndef __CHECKER__3#define CREATE_TRACE_POINTS4#include "armada_trace.h"5#endif6