1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
| /*
| * Marvell PXA2xx/3xx timer driver
| *
| * Copyright (C) 2011 Marek Vasut <marek.vasut@gmail.com>
| *
| * SPDX-License-Identifier: GPL-2.0+
| */
|
| #include <common.h>
| #include <asm/io.h>
|
| DECLARE_GLOBAL_DATA_PTR;
|
| int timer_init(void)
| {
| writel(0, CONFIG_SYS_TIMER_COUNTER);
| return 0;
| }
|
|
