162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Copyright (c) 2015-2016, Intel Corporation. All rights reserved.
462306a36Sopenharmony_ci * Intel Management Engine Interface (Intel MEI) Linux driver
562306a36Sopenharmony_ci */
662306a36Sopenharmony_ci#include <linux/module.h>
762306a36Sopenharmony_ci
862306a36Sopenharmony_ci/* sparse doesn't like tracepoint macros */
962306a36Sopenharmony_ci#ifndef __CHECKER__
1062306a36Sopenharmony_ci#define CREATE_TRACE_POINTS
1162306a36Sopenharmony_ci#include "mei-trace.h"
1262306a36Sopenharmony_ci
1362306a36Sopenharmony_ciEXPORT_TRACEPOINT_SYMBOL(mei_reg_read);
1462306a36Sopenharmony_ciEXPORT_TRACEPOINT_SYMBOL(mei_reg_write);
1562306a36Sopenharmony_ciEXPORT_TRACEPOINT_SYMBOL(mei_pci_cfg_read);
1662306a36Sopenharmony_ci#endif /* __CHECKER__ */
17