os_kernel/lib/stdint.h

#ifndef __LIB_STDINT_H
#define __LIB_STDINT_H

#define NULL ((void *)0)
#define true 1
#define false 0

typedef signed char int8_t;
typedef signed short int16_t;
typedef signed int int32_t;
typedef signed long long int64_t;

typedef unsigned char uint8_t;
typedef unsigned short uint16_t;
typedef unsigned int uint32_t;
typedef unsigned long long uint64_t;

typedef uint8_t bool;
typedef unsigned long uintptr_t;

#endif // __LIB_STDINT_H