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; }