blob: 39867fd80c8faa7db47dd070f7f71d99faa58dd0 [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001/* 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
David Brazdil0f672f62019-12-10 10:32:29 +000017#define pr_info printk
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000018#define pr_debug printk
19#define pr_cont printk
20
David Brazdil0f672f62019-12-10 10:32:29 +000021#define __acquires(x)
22#define __releases(x)
23#define __must_hold(x)
24
Olivier Deprez157378f2022-04-04 15:47:50 +020025#define EXPORT_PER_CPU_SYMBOL_GPL(x)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000026#endif /* _KERNEL_H */