1// SPDX-License-Identifier: ISC
 2/*
 3 * Copyright (C) 2018 Lorenzo Bianconi <lorenzo.bianconi83@gmail.com>
 4 */
 5
 6#include <linux/module.h>
 7
 8#ifndef __CHECKER__
 9#define CREATE_TRACE_POINTS
10#include "usb_trace.h"
11
12#endif

 1// SPDX-License-Identifier: ISC
 2/*
 3 * Copyright (C) 2018 Lorenzo Bianconi <lorenzo.bianconi83@gmail.com>
 4 */
 5
 6#include <linux/module.h>
 7
 8#ifndef __CHECKER__
 9#define CREATE_TRACE_POINTS
10#include "usb_trace.h"
11
12#endif