1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _KERNEL_H
3 #define _KERNEL_H
4 
5 #include "../../include/linux/kernel.h"
6 #include <string.h>
7 #include <stdio.h>
8 #include <limits.h>
9 
10 #include <linux/compiler.h>
11 #include <linux/err.h>
12 #include <linux/bitops.h>
13 #include <linux/log2.h>
14 #include "../../../include/linux/kconfig.h"
15 
16 #define printk printf
17 #define pr_info printk
18 #define pr_debug printk
19 #define pr_cont printk
20 
21 #define __acquires(x)
22 #define __releases(x)
23 #define __must_hold(x)
24 
25 #define EXPORT_PER_CPU_SYMBOL_GPL(x)
26 #endif /* _KERNEL_H */
27