Rev 760 | Rev 1396 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 760 | Rev 793 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | #include <genarch/mm/page_pt.h> |
30 | #include <genarch/mm/page_pt.h> |
| 31 | #include <mm/page.h> |
31 | #include <mm/page.h> |
| 32 | 32 | ||
| 33 | void page_arch_init(void) |
33 | void page_arch_init(void) |
| 34 | { |
34 | { |
| 35 | page_operations = &page_pt_operations; |
35 | page_mapping_operations = &pt_mapping_operations; |
| 36 | } |
36 | } |