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 | } |