1 // SPDX-License-Identifier: GPL-2.0-only
3 * FUJITSU Extended Socket Network Device driver
4 * Copyright (c) 2015-2016 FUJITSU LIMITED
7 #include <linux/module.h>
12 #define CREATE_TRACE_POINTS
13 #include "fjes_trace.h"
15 #endif /* __CHECKER__ */