Rev 2465 | Rev 3094 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2465 | Rev 3070 | ||
|---|---|---|---|
| Line 40... | Line 40... | ||
| 40 | # define ATTRIBUTE_PACKED __attribute__ ((packed)) |
40 | # define ATTRIBUTE_PACKED __attribute__ ((packed)) |
| 41 | #else |
41 | #else |
| 42 | # define ATTRIBUTE_PACKED |
42 | # define ATTRIBUTE_PACKED |
| 43 | #endif |
43 | #endif |
| 44 | 44 | ||
| 45 | #define NULL 0 |
- | |
| 46 | #define false 0 |
- | |
| 47 | #define true 1 |
- | |
| 48 | - | ||
| 49 | typedef signed char int8_t; |
45 | typedef signed char int8_t; |
| 50 | typedef signed short int16_t; |
46 | typedef signed short int16_t; |
| 51 | typedef signed long int32_t; |
47 | typedef signed long int32_t; |
| 52 | typedef signed long long int64_t; |
48 | typedef signed long long int64_t; |
| 53 | 49 | ||
| Line 66... | Line 62... | ||
| 66 | typedef uint32_t ipl_t; |
62 | typedef uint32_t ipl_t; |
| 67 | 63 | ||
| 68 | typedef uint32_t unative_t; |
64 | typedef uint32_t unative_t; |
| 69 | typedef int32_t native_t; |
65 | typedef int32_t native_t; |
| 70 | 66 | ||
| 71 | typedef uint8_t bool; |
- | |
| 72 | typedef uint64_t thread_id_t; |
- | |
| 73 | typedef uint64_t task_id_t; |
- | |
| 74 | typedef uint32_t context_id_t; |
- | |
| 75 | - | ||
| 76 | typedef int32_t inr_t; |
- | |
| 77 | typedef int32_t devno_t; |
- | |
| 78 | - | ||
| 79 | 67 | ||
| 80 | /** Page table entry. |
68 | /** Page table entry. |
| 81 | * |
69 | * |
| 82 | * We have different structs for level 0 and level 1 page table entries. |
70 | * We have different structs for level 0 and level 1 page table entries. |
| 83 | * See page.h for definition of pte_level*_t. |
71 | * See page.h for definition of pte_level*_t. |