Rev 2071 | Rev 2125 | Go to most recent revision | Show entire file | Ignore 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 | ||