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. |