Rev 684 | Rev 1374 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 684 | Rev 793 | ||
|---|---|---|---|
| Line 33... | Line 33... | ||
| 33 | #include <mm/page.h> |
33 | #include <mm/page.h> |
| 34 | #include <arch/types.h> |
34 | #include <arch/types.h> |
| 35 | 35 | ||
| 36 | void page_arch_init(void) |
36 | void page_arch_init(void) |
| 37 | { |
37 | { |
| 38 | page_operations = &page_pt_operations; |
38 | page_mapping_operations = &pt_mapping_operations; |
| 39 | } |
39 | } |