43,7 → 43,11 |
#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 |
106,10 → 110,11 |
return virtaddr; |
} |
|
void hw_area(uintptr_t *physaddr, pfn_t *frames) |
void hw_area(void) |
{ |
*physaddr = end_frame; |
*frames = ADDR2PFN(0xffffffff - end_frame); |
dev_area.pbase = end_frame; |
dev_area.frames = SIZE2FRAMES(0xffffffff - end_frame); |
ddi_parea_register(&dev_area); |
} |
|
/** @} |