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