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