misc/mei/mei-trace.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003  * Copyright (c) 2015-2016, Intel Corporation. All rights reserved.
0004  * Intel Management Engine Interface (Intel MEI) Linux driver
0005  */
0006 #include <linux/module.h>
0007
0008 /* sparse doesn't like tracepoint macros */
0009 #ifndef __CHECKER__
0010 #define CREATE_TRACE_POINTS
0011 #include "mei-trace.h"
0012
0013 EXPORT_TRACEPOINT_SYMBOL(mei_reg_read);
0014 EXPORT_TRACEPOINT_SYMBOL(mei_reg_write);
0015 EXPORT_TRACEPOINT_SYMBOL(mei_pci_cfg_read);
0016 #endif /* __CHECKER__ */