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