Rev 2241 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2241 | Rev 2243 | ||
|---|---|---|---|
| Line 66... | Line 66... | ||
| 66 | typedef uint32_t context_id_t; |
66 | typedef uint32_t context_id_t; |
| 67 | 67 | ||
| 68 | typedef int32_t inr_t; |
68 | typedef int32_t inr_t; |
| 69 | typedef int32_t devno_t; |
69 | typedef int32_t devno_t; |
| 70 | 70 | ||
| - | 71 | typedef uint32_t __address; |
|
| - | 72 | ||
| - | 73 | ||
| 71 | /** Page table entry. |
74 | /** Page table entry. |
| 72 | * |
75 | * |
| 73 | * We have different structs for level 0 and level 1 page table entries. |
76 | * We have different structs for level 0 and level 1 page table entries. |
| 74 | * */ |
77 | * */ |
| 75 | typedef struct { |
78 | typedef struct { |