arch/arm/cpu/pxa/timer.c

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