Rev 977 | Rev 1423 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 977 | Rev 1108 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | * This is the generic 4-level page table interface. |
30 | * This is the generic 4-level page table interface. |
| 31 | * Architectures that use hierarchical page tables |
31 | * Architectures that use hierarchical page tables |
| 32 | * are supposed to implement *_ARCH macros. |
32 | * are supposed to implement *_ARCH macros. |
| 33 | */ |
33 | */ |
| 34 | 34 | ||
| - | 35 | #ifdef CONFIG_PAGE_PT |
|
| - | 36 | ||
| 35 | #ifndef __PAGE_PT_H__ |
37 | #ifndef __PAGE_PT_H__ |
| 36 | #define __PAGE_PT_H__ |
38 | #define __PAGE_PT_H__ |
| 37 | 39 | ||
| 38 | #include <arch/types.h> |
40 | #include <arch/types.h> |
| 39 | #include <typedefs.h> |
41 | #include <typedefs.h> |
| Line 100... | Line 102... | ||
| 100 | 102 | ||
| 101 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
103 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags); |
| 102 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
104 | extern pte_t *page_mapping_find_pt(as_t *as, __address page); |
| 103 | 105 | ||
| 104 | #endif |
106 | #endif |
| - | 107 | ||
| - | 108 | #endif |
|