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 */ 30
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.