TIMER_TIME_HIGH
time_high = gf_ioread32(base + TIMER_TIME_HIGH);
gf_iowrite32((now64 >> 32), base + TIMER_TIME_HIGH);