Rev 2276 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2276 | Rev 2329 | ||
|---|---|---|---|
| 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 | ||
| 71 | /** Page table entry. |
72 | /** Page table entry. |
| 72 | * |
73 | * |
| 73 | * We have different structs for level 0 and level 1 page table entries. |
74 | * We have different structs for level 0 and level 1 page table entries. |
| 74 | * Note: See page.h for pte_level*_t types of different levels of page table. |
75 | * See page.h for definition of pte_level*_t. |
| 75 | * */ |
76 | */ |
| 76 | typedef struct { |
77 | typedef struct { |
| 77 | unsigned dummy : 32; |
78 | unsigned dummy : 32; |
| 78 | } pte_t; |
79 | } pte_t; |
| 79 | 80 | ||
| - | 81 | ||
| 80 | #endif |
82 | #endif |
| 81 | 83 | ||
| 82 | /** @} |
84 | /** @} |
| 83 | */ |
85 | */ |