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