drivers/timer/dw-apb-timer.c

1 // SPDX-License-Identifier: GPL-2.0+
3  * Designware APB Timer driver
11 #include <timer.h>
14 #include <asm/arch/timer.h>
31 	 * The DW APB counter counts down, but this function  in dw_apb_timer_get_count()
35 	*count = ~readl(priv->regs + DW_APB_CURR_VAL);  in dw_apb_timer_get_count()
51 	uc_priv->clock_rate = clk_get_rate(&clk);  in dw_apb_timer_probe()
55 	/* init timer */  in dw_apb_timer_probe()
56 	writel(0xffffffff, priv->regs + DW_APB_LOAD_VAL);  in dw_apb_timer_probe()
57 	writel(0xffffffff, priv->regs + DW_APB_CURR_VAL);  in dw_apb_timer_probe()
58 	setbits_le32(priv->regs + DW_APB_CTRL, 0x3);  in dw_apb_timer_probe()
67 	priv->regs = dev_read_addr(dev);  in dw_apb_timer_ofdata_to_platdata()
77 	{ .compatible = "snps,dw-apb-timer" },