Rev 2276 | 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 | */ |