1// SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
 2/* Copyright (C) 2019 Netronome Systems, Inc. */
 3
 4#include <linux/module.h>
 5
 6#ifndef __CHECKER__
 7#define CREATE_TRACE_POINTS
 8#include "trace.h"
 9
10#endif