| /trunk/kernel/arch/arm32/src/mm/page.c |
|---|
| 43,11 → 43,7 |
| #include <arch/types.h> |
| #include <interrupt.h> |
| #include <arch/mm/frame.h> |
| #include <ddi/ddi.h> |
| /** Physical memory area for devices. */ |
| static parea_t dev_area; |
| /** Initializes page tables. |
| * |
| * 1:1 virtual-physical mapping is created in kernel address space. Mapping |
| 110,12 → 106,5 |
| return virtaddr; |
| } |
| void hw_area(void) |
| { |
| dev_area.pbase = end_frame; |
| dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame); |
| ddi_parea_register(&dev_area); |
| } |
| /** @} |
| */ |