os_kernel/lib/stdint.h

#ifndef __LIB_STDINT_H
#define __LIB_STDINT_H

#define NULL ((void *)0)
#define DIV_ROUND_UP(X, SETUP) ((X + SETUP - 1) / (SETUP))
#define true 1
#define false 0

#define PG_SIZE 4096 // 1 页 = 4KB = 4096 字节

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