hc
2025-02-14 bbb9540dc49f70f6b703d1c8d1b85fa5f602d86e
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _KERNEL_H
#define _KERNEL_H
 
#include "../../include/linux/kernel.h"
#include <string.h>
#include <stdio.h>
#include <limits.h>
 
#include <linux/compiler.h>
#include <linux/err.h>
#include <linux/bitops.h>
#include <linux/log2.h>
#include "../../../include/linux/kconfig.h"
 
#define printk printf
#define pr_info printk
#define pr_debug printk
#define pr_cont printk
 
#define __acquires(x)
#define __releases(x)
#define __must_hold(x)
 
#define EXPORT_PER_CPU_SYMBOL_GPL(x)
#endif /* _KERNEL_H */