kernel.h

 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#define schedule()
22#define PAGE_SHIFT	12
23
24#define __acquires(x)
25#define __releases(x)
26#define __must_hold(x)
27
28#define EXPORT_PER_CPU_SYMBOL_GPL(x)
29#endif /* _KERNEL_H */