| /trunk/kernel/arch/mips32/src/mm/frame.c |
|---|
| 65,7 → 65,9 |
| 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. |
| 236,8 → 238,10 |
| } |
| } |
| frame_add_region(start_frame, frame); |
| end_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 |
|---|
| 26,7 → 26,7 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup mips32mm |
| /** @addtogroup mips32mm |
| * @{ |
| */ |
| /** @file |
| 35,6 → 35,7 |
| #include <arch/mm/page.h> |
| #include <genarch/mm/page_pt.h> |
| #include <mm/page.h> |
| #include <mm/frame.h> |
| void page_arch_init(void) |
| { |
| 50,5 → 51,11 |
| return physaddr + 0xa0000000; |
| } |
| void hw_area(uintptr_t *physaddr, pfn_t *frames) |
| { |
| *physaddr = end_frame; |
| *frames = ADDR2PFN(0xffffffff - end_frame); |
| } |
| /** @} |
| */ |