1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2007 Lemote, Inc. & Institute of Computing Technology
4 * Author: Fuxin Zhang, zhangfx@lemote.com
6 * Copyright (C) 2009 Lemote Inc.
7 * Author: Wu Zhangjin, wuzhangjin@gmail.com
9 #include <asm/mc146818-time.h>
15 void __init
plat_time_init(void)
17 /* setup mips r4k timer */
18 mips_hpt_frequency
= cpu_clock_freq
/ 2;
20 #ifdef CONFIG_RS780_HPET
25 void read_persistent_clock64(struct timespec64
*ts
)
27 ts
->tv_sec
= mc146818_get_cmos_time();