| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 1 | /* |
| Marek Vasut | ba2d9be | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 2 | * Marvell PXA2xx/3xx timer driver |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 3 | * |
| Marek Vasut | ba2d9be | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 4 | * Copyright (C) 2011 Marek Vasut <marek.vasut@gmail.com> |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 5 | * |
| Wolfgang Denk | d79de1d | 2013-07-08 09:37:19 +0200 | [diff] [blame] | 6 | * SPDX-License-Identifier: GPL-2.0+ |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 7 | */ |
| 8 | |||||
| Marek Vasut | 2db1e96 | 2010-09-09 09:50:39 +0200 | [diff] [blame] | 9 | #include <common.h> |
| Marcel Ziswiler | fe8ade0 | 2015-08-16 04:16:26 +0200 | [diff] [blame] | 10 | #include <asm/io.h> |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 11 | |
| Marek Vasut | ba2d9be | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 12 | int timer_init(void) |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 13 | { |
| Andrew Ruder | c224090 | 2015-08-12 13:18:31 -0500 | [diff] [blame] | 14 | writel(0, CONFIG_SYS_TIMER_COUNTER); |
| Jean-Christophe PLAGNIOL-VILLARD | 8c9fc00 | 2009-05-15 23:47:02 +0200 | [diff] [blame] | 15 | return 0; |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 16 | } |