Rev 760 | Rev 1702 | 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 | } |