| Tom Rini | 83d290c | 2018-05-06 17:58:06 -0400 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0+ |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 2 | /* |
| Marek Vasut | d1bb944 | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 3 | * Marvell PXA2xx/3xx timer driver |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 4 | * |
| Marek Vasut | d1bb944 | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 5 | * Copyright (C) 2011 Marek Vasut <marek.vasut@gmail.com> |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 6 | */ |
| 7 | |||||
| Marek Vasut | 3ba8bf7 | 2010-09-09 09:50:39 +0200 | [diff] [blame] | 8 | #include <common.h> |
| Marcel Ziswiler | 67b855f | 2015-08-16 04:16:26 +0200 | [diff] [blame] | 9 | #include <asm/io.h> |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 10 | |
| Marek Vasut | d1bb944 | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 11 | int timer_init(void) |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 12 | { |
| Andrew Ruder | 7d211fe | 2015-08-12 13:18:31 -0500 | [diff] [blame] | 13 | writel(0, CONFIG_SYS_TIMER_COUNTER); |
| Jean-Christophe PLAGNIOL-VILLARD | b54384e | 2009-05-15 23:47:02 +0200 | [diff] [blame] | 14 | return 0; |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 15 | } |