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