| /trunk/kernel/arch/mips32/src/mm/frame.c |
|---|
| 65,9 → 65,7 |
| static count_t phys_regions_count = 0; |
| static phys_region_t phys_regions[MAX_REGIONS]; |
| uintptr_t end_frame = 0; |
| /** Check whether frame is available |
| * |
| * Returns true if given frame is generally available for use. |
| 238,10 → 236,8 |
| } |
| } |
| end_frame = frame; |
| frame_add_region(start_frame, frame); |
| frame_add_region(start_frame, end_frame); |
| /* Blacklist interrupt vector frame */ |
| frame_mark_unavailable(0, 1); |
| /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); |
| } |
| /** @} |
| */ |