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_err printk 18#define pr_info printk 19#define pr_debug printk 20#define pr_cont printk 21 22#define __acquires(x) 23#define __releases(x) 24#define __must_hold(x) 25 26#define EXPORT_PER_CPU_SYMBOL_GPL(x) 27#endif /* _KERNEL_H */ 28