Rev 2071 | Rev 2216 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2089 | ||
|---|---|---|---|
| Line 33... | Line 33... | ||
| 33 | */ |
33 | */ |
| 34 | 34 | ||
| 35 | #ifndef KERN_mips32_TYPES_H_ |
35 | #ifndef KERN_mips32_TYPES_H_ |
| 36 | #define KERN_mips32_TYPES_H_ |
36 | #define KERN_mips32_TYPES_H_ |
| 37 | 37 | ||
| 38 | #define NULL 0 |
38 | #define NULL 0 |
| - | 39 | #define false 0 |
|
| - | 40 | #define true 1 |
|
| 39 | 41 | ||
| 40 | typedef signed char int8_t; |
42 | typedef signed char int8_t; |
| 41 | typedef unsigned char uint8_t; |
- | |
| 42 | - | ||
| 43 | typedef signed short int16_t; |
43 | typedef signed short int16_t; |
| 44 | typedef unsigned short uint16_t; |
- | |
| 45 | - | ||
| 46 | typedef unsigned long uint32_t; |
- | |
| 47 | typedef signed long int32_t; |
44 | typedef signed long int32_t; |
| - | 45 | typedef signed long long int64_t; |
|
| 48 | 46 | ||
| - | 47 | typedef unsigned char uint8_t; |
|
| - | 48 | typedef unsigned short uint16_t; |
|
| - | 49 | typedef unsigned long uint32_t; |
|
| 49 | typedef unsigned long long uint64_t; |
50 | typedef unsigned long long uint64_t; |
| - | 51 | ||
| - | 52 | typedef uint32_t size_t; |
|
| 50 | typedef signed long long int64_t; |
53 | typedef uint32_t count_t; |
| - | 54 | typedef uint32_t index_t; |
|
| 51 | 55 | ||
| 52 | typedef uint32_t uintptr_t; |
56 | typedef uint32_t uintptr_t; |
| - | 57 | typedef uint32_t pfn_t; |
|
| 53 | 58 | ||
| 54 | typedef uint32_t ipl_t; |
59 | typedef uint32_t ipl_t; |
| 55 | 60 | ||
| 56 | typedef uint32_t unative_t; |
61 | typedef uint32_t unative_t; |
| 57 | typedef int32_t native_t; |
62 | typedef int32_t native_t; |
| 58 | 63 | ||
| - | 64 | typedef uint8_t bool; |
|
| 59 | typedef struct pte pte_t; |
65 | typedef uint64_t task_id_t; |
| - | 66 | typedef uint32_t context_id_t; |
|
| 60 | 67 | ||
| 61 | typedef uint32_t pfn_t; |
68 | typedef int32_t inr_t; |
| - | 69 | typedef int32_t devno_t; |
|
| - | 70 | ||
| - | 71 | /** Page Table Entry. */ |
|
| - | 72 | typedef struct { |
|
| - | 73 | unsigned g : 1; /**< Global bit. */ |
|
| - | 74 | unsigned p : 1; /**< Present bit. */ |
|
| - | 75 | unsigned d : 1; /**< Dirty bit. */ |
|
| - | 76 | unsigned cacheable : 1; /**< Cacheable bit. */ |
|
| - | 77 | unsigned : 1; /**< Unused. */ |
|
| - | 78 | unsigned soft_valid : 1; /**< Valid content even if not present. */ |
|
| - | 79 | unsigned pfn : 24; /**< Physical frame number. */ |
|
| - | 80 | unsigned w : 1; /**< Page writable bit. */ |
|
| - | 81 | unsigned a : 1; /**< Accessed bit. */ |
|
| - | 82 | } pte_t; |
|
| 62 | 83 | ||
| 63 | #endif |
84 | #endif |
| 64 | 85 | ||
| 65 | /** @} |
86 | /** @} |
| 66 | */ |
87 | */ |