1 // SPDX-License-Identifier: GPL-2.0 2 /* bug in tracepoint.h, it should include this */ 3 #include <linux/module.h> 4 5 /* sparse isn't too happy with all macros... */ 6 #ifndef __CHECKER__ 7 #define CREATE_TRACE_POINTS 8 #include "openvswitch_trace.h" 9 10 #endif 11