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__ */

 
 1/*
 2 *  FUJITSU Extended Socket Network Device driver
 3 *  Copyright (c) 2015-2016 FUJITSU LIMITED
 4 *
 5 * This program is free software; you can redistribute it and/or modify it
 6 * under the terms and conditions of the GNU General Public License,
 7 * version 2, as published by the Free Software Foundation.
 8 *
 9 * This program is distributed in the hope it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
12 * more details.
13 *
14 * You should have received a copy of the GNU General Public License along with
15 * this program; if not, see <http://www.gnu.org/licenses/>.
16 *
17 * The full GNU General Public License is included in this distribution in
18 * the file called "COPYING".
19 *
20 */
21
22#include <linux/module.h>
23
24#ifndef __CHECKER__
25#include "fjes_hw.h"
26
27#define CREATE_TRACE_POINTS
28#include "fjes_trace.h"
29
30#endif /* __CHECKER__ */