// SPDX-License-Identifier: GPL-2.0-only /* * FUJITSU Extended Socket Network Device driver * Copyright (c) 2015-2016 FUJITSU LIMITED */ #include <linux/module.h> #ifndef __CHECKER__ #include "fjes_hw.h" #define CREATE_TRACE_POINTS #include "fjes_trace.h" #endif /* __CHECKER__ */