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