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