| /trunk/kernel/arch/mips32/src/mm/page.c |
|---|
| 36,11 → 36,7 |
| #include <genarch/mm/page_pt.h> |
| #include <mm/page.h> |
| #include <mm/frame.h> |
| #include <ddi/ddi.h> |
| /** Physical memory area for devices. */ |
| static parea_t dev_area; |
| void page_arch_init(void) |
| { |
| page_mapping_operations = &pt_mapping_operations; |
| 55,12 → 51,5 |
| return physaddr + 0xa0000000; |
| } |
| void hw_area(void) |
| { |
| dev_area.pbase = end_frame; |
| dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame); |
| ddi_parea_register(&dev_area); |
| } |
| /** @} |
| */ |