| 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 |