1// SPDX-License-Identifier: GPL-2.0
 2/*
 3 * Copyright (c) 2015-2016, Intel Corporation. All rights reserved.
 4 * Intel Management Engine Interface (Intel MEI) Linux driver
 5 */
 6#include <linux/module.h>
 7
 8/* sparse doesn't like tracepoint macros */
 9#ifndef __CHECKER__
10#define CREATE_TRACE_POINTS
11#include "mei-trace.h"
12
13EXPORT_TRACEPOINT_SYMBOL(mei_reg_read);
14EXPORT_TRACEPOINT_SYMBOL(mei_reg_write);
15EXPORT_TRACEPOINT_SYMBOL(mei_pci_cfg_read);
16#endif /* __CHECKER__ */