/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
118,7 → 118,6 |
gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE); |
gxemul_hw_map.rtc = hw_map(GXEMUL_RTC, PAGE_SIZE); |
gxemul_hw_map.irqc = hw_map(GXEMUL_IRQC, PAGE_SIZE); |
gxemul_hw_map.fb = hw_map(GXEMUL_FB, PAGE_SIZE); |
gxemul_hw_map.rtc_freq = gxemul_hw_map.rtc + GXEMUL_RTC_FREQ_OFFSET; |
gxemul_hw_map.rtc_ack = gxemul_hw_map.rtc + GXEMUL_RTC_ACK_OFFSET; |
391,7 → 390,7 |
uintptr_t gxemul_get_fb_address(void) |
{ |
return gxemul_hw_map.fb; |
return (uintptr_t) GXEMUL_FB; |
} |
/** @} |