Rev 1888 | Rev 1890 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 1889 | ||
|---|---|---|---|
| Line 91... | Line 91... | ||
| 91 | /** Page table pointer. Constant on architectures that use global page hash table. */ |
91 | /** Page table pointer. Constant on architectures that use global page hash table. */ |
| 92 | pte_t *page_table; |
92 | pte_t *page_table; |
| 93 | 93 | ||
| 94 | /** Address space identifier. Constant on architectures that do not support ASIDs.*/ |
94 | /** Address space identifier. Constant on architectures that do not support ASIDs.*/ |
| 95 | asid_t asid; |
95 | asid_t asid; |
| - | 96 | ||
| - | 97 | /** Architecture specific content. */ |
|
| - | 98 | as_arch_t arch; |
|
| 96 | }; |
99 | }; |
| 97 | 100 | ||
| 98 | struct as_operations { |
101 | struct as_operations { |
| 99 | pte_t *(* page_table_create)(int flags); |
102 | pte_t *(* page_table_create)(int flags); |
| 100 | void (* page_table_destroy)(pte_t *page_table); |
103 | void (* page_table_destroy)(pte_t *page_table); |