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