drivers/net/fjes/fjes_trace.c

   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__ */