Rev 2071 | Rev 2465 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2089 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | 42 | ||
43 | #ifndef KERN_PAGE_PT_H_ |
43 | #ifndef KERN_PAGE_PT_H_ |
44 | #define KERN_PAGE_PT_H_ |
44 | #define KERN_PAGE_PT_H_ |
45 | 45 | ||
46 | #include <arch/types.h> |
46 | #include <arch/types.h> |
47 | #include <typedefs.h> |
47 | #include <mm/as.h> |
48 | #include <mm/page.h> |
48 | #include <mm/page.h> |
49 | 49 | ||
50 | /* |
50 | /* |
51 | * Number of entries in each level. |
51 | * Number of entries in each level. |
52 | */ |
52 | */ |
Line 105... | Line 105... | ||
105 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
105 | #define PTE_GET_FRAME(p) PTE_GET_FRAME_ARCH((p)) |
106 | #define PTE_READABLE(p) 1 |
106 | #define PTE_READABLE(p) 1 |
107 | #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
107 | #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
108 | #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
108 | #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
109 | 109 | ||
- | 110 | extern as_operations_t as_pt_operations; |
|
110 | extern page_mapping_operations_t pt_mapping_operations; |
111 | extern page_mapping_operations_t pt_mapping_operations; |
111 | 112 | ||
112 | extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, int flags); |
113 | extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, int flags); |
113 | extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page); |
114 | extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page); |
114 | 115 |