src/soc/qualcomm/qcs405/timer.c

   1 /* This file is part of the coreboot project. */
   2 /* SPDX-License-Identifier: GPL-2.0-only */
   3
   4 #include <delay.h>
   5 #include <arch/lib_helpers.h>
   6 #include <commonlib/helpers.h>
   7
   8 void init_timer(void)
   9 {
  10         raw_write_cntfrq_el0(19200*KHz);
  11 }