| 34,8 → 34,6 |
|---|
| |
| #include <arch/mm/page.h> |
| #include <genarch/mm/page_pt.h> |
| #include <genarch/drivers/ega/ega.h> |
| #include <genarch/drivers/legacy/ia32/io.h> |
| #include <arch/mm/frame.h> |
| #include <mm/page.h> |
| #include <mm/frame.h> |
| 48,12 → 46,7 |
|---|
| #include <print.h> |
| #include <panic.h> |
| #include <align.h> |
| #include <ddi/ddi.h> |
| |
| /** Physical memory area for devices. */ |
| static parea_t dev_area; |
| static parea_t ega_area; |
| |
| /* Definitions for identity page mapper */ |
| pte_t helper_ptl1[512] __attribute__((aligned (PAGE_SIZE))); |
| pte_t helper_ptl2[512] __attribute__((aligned (PAGE_SIZE))); |
| 221,16 → 214,5 |
|---|
| return virtaddr; |
| } |
| |
| void hw_area(void) |
| { |
| dev_area.pbase = end_frame; |
| dev_area.frames = SIZE2FRAMES(0xfffffffffffff - end_frame); |
| ddi_parea_register(&dev_area); |
| |
| ega_area.pbase = EGA_VIDEORAM; |
| ega_area.frames = SIZE2FRAMES(EGA_VRAM_SIZE); |
| ddi_parea_register(&ega_area); |
| } |
| |
| /** @} |
| */ |