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