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 <init.h>
  10 #include <asm/io.h>
  11
  12 int timer_init(void)
  13 {
  14         writel(0, CONFIG_SYS_TIMER_COUNTER);
  15         return 0;
  16 }