TIMER_TCFG1
reg = bus_space_read_4(iot, ioh, TIMER_TCFG1);
bus_space_write_4(iot, ioh, TIMER_TCFG1,
*(volatile uint32_t*)(S3C2440_TIMER_BASE+TIMER_TCFG1) |=