| 36,6 → 36,8 |
|---|
| #define KERN_ia32_TYPES_H_ |
| |
| #define NULL 0 |
| #define false 0 |
| #define true 1 |
| |
| typedef signed char int8_t; |
| typedef signed short int16_t; |
| 47,6 → 49,10 |
|---|
| typedef unsigned long uint32_t; |
| typedef unsigned long long uint64_t; |
| |
| typedef uint32_t size_t; |
| typedef uint32_t count_t; |
| typedef uint32_t index_t; |
| |
| typedef uint32_t uintptr_t; |
| typedef uint32_t pfn_t; |
| |
| 55,8 → 61,29 |
|---|
| typedef uint32_t unative_t; |
| typedef int32_t native_t; |
| |
| typedef struct page_specifier pte_t; |
| typedef uint8_t bool; |
| typedef uint64_t task_id_t; |
| typedef uint32_t context_id_t; |
| |
| typedef int32_t inr_t; |
| typedef int32_t devno_t; |
| |
| /** Page Table Entry. */ |
| typedef struct { |
| unsigned present : 1; |
| unsigned writeable : 1; |
| unsigned uaccessible : 1; |
| unsigned page_write_through : 1; |
| unsigned page_cache_disable : 1; |
| unsigned accessed : 1; |
| unsigned dirty : 1; |
| unsigned pat : 1; |
| unsigned global : 1; |
| unsigned soft_valid : 1; /**< Valid content even if the present bit is not set. */ |
| unsigned avl : 2; |
| unsigned frame_address : 20; |
| } __attribute__ ((packed)) pte_t; |
| |
| #endif |
| |
| /** @} |