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. */ |
67,9 → 63,9 |
void set_environment(void) |
{ |
region_register rr; |
pta_register pta; |
pta_register pta; |
int i; |
#ifdef CONFIG_VHPT |
#ifdef CONFIG_VHPT |
uintptr_t vhpt_base; |
#endif |
|
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); |
} |
|
/** @} |
*/ |