// SPDX-License-Identifier: GPL-2.0 /* bug in tracepoint.h, it should include this */ #include <linux/module.h> /* sparse isn't too happy with all macros... */ #ifndef __CHECKER__ #define CREATE_TRACE_POINTS #include "openvswitch_trace.h" #endif