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