Rev 3386 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3386 | Rev 4153 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | */ |
33 | */ |
34 | 34 | ||
35 | #include <arch/mm/page.h> |
35 | #include <arch/mm/page.h> |
36 | #include <genarch/mm/page_pt.h> |
36 | #include <genarch/mm/page_pt.h> |
37 | #include <mm/page.h> |
37 | #include <mm/page.h> |
- | 38 | #include <mm/frame.h> |
|
38 | 39 | ||
39 | void page_arch_init(void) |
40 | void page_arch_init(void) |
40 | { |
41 | { |
41 | page_mapping_operations = &pt_mapping_operations; |
42 | page_mapping_operations = &pt_mapping_operations; |
42 | } |
43 | } |