/trunk/kernel/arch/sparc64/src/mm/page.c |
---|
41,11 → 41,7 |
#include <debug.h> |
#include <align.h> |
#include <config.h> |
#include <ddi/ddi.h> |
/** Physical memory area for devices. */ |
static parea_t dev_area; |
#ifdef CONFIG_SMP |
/** Entries locked in DTLB of BSP. |
* |
168,12 → 164,5 |
return virtaddr; |
} |
void hw_area(void) |
{ |
dev_area.pbase = end_frame; |
dev_area.frames = SIZE2FRAMES(0x7ffffffffff - end_frame); |
ddi_parea_register(&dev_area); |
} |
/** @} |
*/ |