TIMER_IRQ_ENABLED
gf_iowrite32(1, base + TIMER_IRQ_ENABLED);
gf_iowrite32(0, base + TIMER_IRQ_ENABLED);
gf_iowrite32(1, base + TIMER_IRQ_ENABLED);
gf_iowrite32(1, base + TIMER_IRQ_ENABLED);
gf_iowrite32(0, base + TIMER_IRQ_ENABLED);