Rev 699 | Rev 756 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 699 | Rev 755 | ||
|---|---|---|---|
| Line 59... | Line 59... | ||
| 59 | 59 | ||
| 60 | #define PAGE_GLOBAL (1<<PAGE_GLOBAL_SHIFT) |
60 | #define PAGE_GLOBAL (1<<PAGE_GLOBAL_SHIFT) |
| 61 | 61 | ||
| 62 | /** Operations to manipulate page mappings. */ |
62 | /** Operations to manipulate page mappings. */ |
| 63 | struct page_operations { |
63 | struct page_operations { |
| 64 | void (* mapping_insert)(__address page, asid_t asid, __address frame, int flags, __address root); |
64 | void (* mapping_insert)(as_t *as, __address page, __address frame, int flags, __address root); |
| 65 | pte_t *(* mapping_find)(__address page, asid_t asid, __address root); |
65 | pte_t *(* mapping_find)(as_t *as, __address page, __address root); |
| 66 | }; |
66 | }; |
| 67 | typedef struct page_operations page_operations_t; |
67 | typedef struct page_operations page_operations_t; |
| 68 | 68 | ||
| 69 | extern page_operations_t *page_operations; |
69 | extern page_operations_t *page_operations; |
| 70 | 70 | ||
| 71 | extern void page_init(void); |
71 | extern void page_init(void); |
| 72 | extern void page_mapping_insert(__address page, asid_t asid, __address frame, int flags, __address root); |
72 | extern void page_mapping_insert(as_t *as, __address page, __address frame, int flags, __address root); |
| 73 | extern pte_t *page_mapping_find(__address page, asid_t asid, __address root); |
73 | extern pte_t *page_mapping_find(as_t *as, __address page, __address root); |
| 74 | extern void map_structure(__address s, size_t size); |
74 | extern void map_structure(__address s, size_t size); |
| 75 | 75 | ||
| 76 | #endif |
76 | #endif |