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 15 void __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