30 lines · c
1/* SPDX-License-Identifier: GPL-2.0 */2#ifndef _KERNEL_H3#define _KERNEL_H4 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 printf17#define pr_err printk18#define pr_info printk19#define pr_debug printk20#define pr_cont printk21#define schedule()22#define PAGE_SHIFT 1223 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 */30