1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _SKC_LINUX_KERNEL_H 3#define _SKC_LINUX_KERNEL_H 4 5#include <stdlib.h> 6#include <stdbool.h> 7 8#include <linux/printk.h> 9 10typedef unsigned short u16; 11typedef unsigned int u32; 12 13#define unlikely(cond) (cond) 14 15#define __init 16#define __initdata 17 18#endif 19