/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _KERNEL_H #define _KERNEL_H #include "../../include/linux/kernel.h" #include <string.h> #include <stdio.h> #include <limits.h> #include <linux/compiler.h> #include <linux/err.h> #include <linux/bitops.h> #include <linux/log2.h> #include "../../../include/linux/kconfig.h" #define printk printf #define pr_info printk #define pr_debug printk #define pr_cont printk #define __acquires(x) #define __releases(x) #define __must_hold(x) #define EXPORT_PER_CPU_SYMBOL_GPL(x) #endif /* _KERNEL_H */