16 lines · c
1// SPDX-License-Identifier: GPL-2.0-only2/*3 * FUJITSU Extended Socket Network Device driver4 * Copyright (c) 2015-2016 FUJITSU LIMITED5 */6 7#include <linux/module.h>8 9#ifndef __CHECKER__10#include "fjes_hw.h"11 12#define CREATE_TRACE_POINTS13#include "fjes_trace.h"14 15#endif /* __CHECKER__ */16