123456789// SPDX-License-Identifier: GPL-2.0#include <linux/module.h> #ifndef __CHECKER__#define CREATE_TRACE_POINTS#include "trace.h" #endif