/trunk/kernel/arch/ia64/src/mm/page.c |
---|
48,11 → 48,7 |
#include <arch/barrier.h> |
#include <memstr.h> |
#include <align.h> |
#include <ddi/ddi.h> |
/** Physical memory area for devices. */ |
static parea_t dev_area; |
static void set_environment(void); |
/** Initialize ia64 virtual address translation subsystem. */ |
278,12 → 274,5 |
return (uintptr_t)((uint64_t)(PA2KA(physaddr)) + VIO_OFFSET); |
} |
void hw_area(void) |
{ |
dev_area.pbase = end_frame; |
dev_area.frames = SIZE2FRAMES(0x7fffffffffffffffUL - end_frame); |
ddi_parea_register(&dev_area); |
} |
/** @} |
*/ |