110 	sys_write32(int_enable, PIT_INTE(dev));  in atcpit100_irq_handler()
111 	sys_write32(ch_enable, PIT_CHEN(dev));  in atcpit100_irq_handler()
114 	sys_write32(int_status, PIT_ISTA(dev));  in atcpit100_irq_handler()
134 	sys_write32(0, PIT_CHEN(dev));  in counter_atcpit100_init()
138 	sys_write32(reg, PIT_CH_CTRL(dev, 0));  in counter_atcpit100_init()
139 	sys_write32(reg, PIT_CH_CTRL(dev, 1));  in counter_atcpit100_init()
140 	sys_write32(reg, PIT_CH_CTRL(dev, 2));  in counter_atcpit100_init()
141 	sys_write32(reg, PIT_CH_CTRL(dev, 3));  in counter_atcpit100_init()
144 	sys_write32(0, PIT_INTE(dev));  in counter_atcpit100_init()
145 	sys_write32(UINT32_MAX, PIT_ISTA(dev));  in counter_atcpit100_init()
151 	sys_write32((reg - 1), PIT_CH_RELD(dev, 3));  in counter_atcpit100_init()
171 	sys_write32(reg, PIT_CHEN(dev));  in atcpit100_start()
189 	sys_write32(reg, PIT_INTE(dev));  in atcpit100_stop()
194 	sys_write32(reg, PIT_CHEN(dev));  in atcpit100_stop()
197 	sys_write32(TIMER0_CHANNEL(3), PIT_ISTA(dev));  in atcpit100_stop()
294 	sys_write32((reg - 1), PIT_CH_RELD(dev, chan_id));  in atcpit100_set_alarm()
299 	sys_write32(reg, PIT_INTE(dev));  in atcpit100_set_alarm()
304 	sys_write32(reg, PIT_CHEN(dev));  in atcpit100_set_alarm()
327 	sys_write32(reg, PIT_INTE(dev));  in atcpit100_cancel_alarm()
332 	sys_write32(reg, PIT_CHEN(dev));  in atcpit100_cancel_alarm()
335 	sys_write32(TIMER0_CHANNEL(chan_id), PIT_ISTA(dev));  in atcpit100_cancel_alarm()
370 		sys_write32(reg, PIT_INTE(dev));  in atcpit100_set_top_value()
378 		sys_write32(reg, PIT_INTE(dev));  in atcpit100_set_top_value()
396 	sys_write32((reg - 1), PIT_CH_RELD(dev, 3));  in atcpit100_set_top_value()
402 		sys_write32(reg, PIT_CHEN(dev));  in atcpit100_set_top_value()
405 		sys_write32(TIMER0_CHANNEL(3), PIT_ISTA(dev));  in atcpit100_set_top_value()
410 		sys_write32(reg, PIT_INTE(dev));  in atcpit100_set_top_value()
415 		sys_write32(reg, PIT_CHEN(dev));  in atcpit100_set_top_value()