1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * Copyright (C) 2007 Lemote, Inc. & Institute of Computing Technology
4 * Author: Fuxin Zhang, zhangfx@lemote.com
5 *
6 * Copyright (C) 2009 Lemote Inc.
7 * Author: Wu Zhangjin, wuzhangjin@gmail.com
8 */
9
10#include <asm/time.h>
11#include <asm/hpet.h>
12
13#include <loongson.h>
14
15void __init plat_time_init(void)
16{
17	/* setup mips r4k timer */
18	mips_hpt_frequency = cpu_clock_freq / 2;
19
20#ifdef CONFIG_RS780_HPET
21	setup_hpet_timer();
22#endif
23}
24