tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
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__ */