| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 1 | /* |
| Marek Vasut | d1bb944 | 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 | d1bb944 | 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 | 1a45966 | 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 | 3ba8bf7 | 2010-09-09 09:50:39 +0200 | [diff] [blame] | 9 | #include <common.h> |
| Marcel Ziswiler | 67b855f | 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 | d1bb944 | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 12 | DECLARE_GLOBAL_DATA_PTR; |
| 13 | |||||
| Marek Vasut | d1bb944 | 2011-11-26 10:02:41 +0100 | [diff] [blame] | 14 | int timer_init(void) |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 15 | { |
| Andrew Ruder | 7d211fe | 2015-08-12 13:18:31 -0500 | [diff] [blame] | 16 | writel(0, CONFIG_SYS_TIMER_COUNTER); |
| Jean-Christophe PLAGNIOL-VILLARD | b54384e | 2009-05-15 23:47:02 +0200 | [diff] [blame] | 17 | return 0; |
| wdenk | 32fe287 | 2002-10-11 07:57:01 +0000 | [diff] [blame] | 18 | } |