Orange Pi5 kernel

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