gf_ioread32
time_low = gf_ioread32(base + TIMER_TIME_LOW);
time_high = gf_ioread32(base + TIMER_TIME_HIGH);
time_low = gf_ioread32(base + TIMER_TIME_LOW);
time_high = gf_ioread32(base + TIMER_TIME_HIGH);
rtc_alarm_low = gf_ioread32(base + TIMER_ALARM_LOW);
rtc_alarm_high = gf_ioread32(base + TIMER_ALARM_HIGH);
if (gf_ioread32(base + TIMER_ALARM_STATUS))
rtc_status_reg = gf_ioread32(base + TIMER_ALARM_STATUS);
count = gf_ioread32(base + GOLDFISH_TTY_REG_BYTES_READY);
return gf_ioread32(base + GOLDFISH_TTY_REG_BYTES_READY);
qtty->version = gf_ioread32(base + GOLDFISH_TTY_REG_VERSION);
#ifndef gf_ioread32