/* 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_err printk#define pr_info printk#define pr_debug printk#define pr_cont printk#define schedule()#define PAGE_SHIFT	12 #define EXPORT_PER_CPU_SYMBOL_GPL(x)#endif /* _KERNEL_H */