tools/bootconfig/include/linux/kernel.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _SKC_LINUX_KERNEL_H
#define _SKC_LINUX_KERNEL_H

#include <stdlib.h>
#include <stdbool.h>

#include <linux/printk.h>

typedef unsigned short u16;
typedef unsigned int   u32;

#define unlikely(cond)	(cond)

#define __init
#define __initdata

#endif