18 static int counter_dw_timer_get_value(const struct device *timer_dev, uint32_t *ticks);
84 static void counter_dw_timer_irq_handler(const struct device *timer_dev)  in counter_dw_timer_irq_handler()  argument
87 	uintptr_t reg_base = DEVICE_MMIO_NAMED_GET(timer_dev, timer_mmio);  in counter_dw_timer_irq_handler()
88 	struct counter_dw_timer_drv_data *const data = DEV_DATA(timer_dev);  in counter_dw_timer_irq_handler()
95 	counter_dw_timer_get_value(timer_dev, &ticks);  in counter_dw_timer_irq_handler()
106 		alarm_cb(timer_dev, 0, ticks, data->prv_data);  in counter_dw_timer_irq_handler()
109 		data->top_cb(timer_dev, data->prv_data);  in counter_dw_timer_irq_handler()
141 static uint32_t counter_dw_timer_get_top_value(const struct device *timer_dev)  in counter_dw_timer_get_top_value()  argument
144 	uintptr_t reg_base = DEVICE_MMIO_NAMED_GET(timer_dev, timer_mmio);  in counter_dw_timer_get_top_value()
152 static int counter_dw_timer_get_value(const struct device *timer_dev, uint32_t *ticks)  in counter_dw_timer_get_value()  argument
154 	uintptr_t reg_base = DEVICE_MMIO_NAMED_GET(timer_dev, timer_mmio);  in counter_dw_timer_get_value()
162 static int counter_dw_timer_set_top_value(const struct device *timer_dev,  in counter_dw_timer_set_top_value()  argument
165 	uintptr_t reg_base = DEVICE_MMIO_NAMED_GET(timer_dev, timer_mmio);  in counter_dw_timer_set_top_value()
166 	struct counter_dw_timer_drv_data *const data = DEV_DATA(timer_dev);  in counter_dw_timer_set_top_value()
215 static int counter_dw_timer_set_alarm(const struct device *timer_dev, uint8_t chan_id,  in counter_dw_timer_set_alarm()  argument
219 	uintptr_t reg_base = DEVICE_MMIO_NAMED_GET(timer_dev, timer_mmio);  in counter_dw_timer_set_alarm()
220 	struct counter_dw_timer_drv_data *const data = DEV_DATA(timer_dev);  in counter_dw_timer_set_alarm()
268 static int counter_dw_timer_cancel_alarm(const struct device *timer_dev, uint8_t chan_id)  in counter_dw_timer_cancel_alarm()  argument
271 	uintptr_t reg_base = DEVICE_MMIO_NAMED_GET(timer_dev, timer_mmio);  in counter_dw_timer_cancel_alarm()
272 	struct counter_dw_timer_drv_data *const data = DEV_DATA(timer_dev);  in counter_dw_timer_cancel_alarm()
287 uint32_t counter_dw_timer_get_freq(const struct device *timer_dev)  in counter_dw_timer_get_freq()  argument
290 	struct counter_dw_timer_drv_data *const data = DEV_DATA(timer_dev);  in counter_dw_timer_get_freq()
294 	const struct counter_dw_timer_config *config = DEV_CFG(timer_dev);  in counter_dw_timer_get_freq()
311 static int counter_dw_timer_init(const struct device *timer_dev)  in counter_dw_timer_init()  argument
313 	DEVICE_MMIO_NAMED_MAP(timer_dev, timer_mmio, K_MEM_CACHE_NONE);  in counter_dw_timer_init()
314 	const struct counter_dw_timer_config *timer_config = DEV_CFG(timer_dev);  in counter_dw_timer_init()
324 	struct counter_dw_timer_drv_data *const data = DEV_DATA(timer_dev);  in counter_dw_timer_init()