Rev 977 | Rev 1702 | 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 |