/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
81,7 → 81,7 |
/** Initializes #gxemul_hw_map. */ |
void gxemul_hw_map_init(void) |
void machine_hw_map_init(void) |
{ |
gxemul_hw_map.videoram = hw_map(GXEMUL_VIDEORAM, PAGE_SIZE); |
gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE); |