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 
13 EXPORT_TRACEPOINT_SYMBOL(mei_reg_read);
14 EXPORT_TRACEPOINT_SYMBOL(mei_reg_write);
15 EXPORT_TRACEPOINT_SYMBOL(mei_pci_cfg_read);
16 #endif /* __CHECKER__ */
17