18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * FUJITSU Extended Socket Network Device driver 48c2ecf20Sopenharmony_ci * Copyright (c) 2015-2016 FUJITSU LIMITED 58c2ecf20Sopenharmony_ci */ 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci#include <linux/module.h> 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ci#ifndef __CHECKER__ 108c2ecf20Sopenharmony_ci#include "fjes_hw.h" 118c2ecf20Sopenharmony_ci 128c2ecf20Sopenharmony_ci#define CREATE_TRACE_POINTS 138c2ecf20Sopenharmony_ci#include "fjes_trace.h" 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ci#endif /* __CHECKER__ */ 16