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