// SPDX-License-Identifier: GPL-2.0-only/* * Copyright (C) 2012 Regents of the University of California * Copyright (C) 2017 SiFive */ #include <linux/acpi.h>#include <linux/of_clk.h>#include <linux/clockchips.h>#include <linux/clocksource.h>#include <linux/delay.h>#include <asm/sbi.h>#include <asm/processor.h>#include <asm/timex.h>#include <asm/paravirt.h> unsigned long riscv_timebase __ro_after_init;EXPORT_SYMBOL_GPL(riscv_timebase); void __init time_init(void){	struct device_node *cpu;	struct acpi_table_rhct *rhct;	acpi_status status;	u32 prop; 	if (acpi_disabled) {		cpu = of_find_node_by_path("/cpus");		if (!cpu || of_property_read_u32(cpu, "timebase-frequency", &prop))			panic("RISC-V system with no 'timebase-frequency' in DTS\n"); 		of_node_put(cpu);		riscv_timebase = prop;		of_clk_init(NULL);	} else {		status = acpi_get_table(ACPI_SIG_RHCT, 0, (struct acpi_table_header **)&rhct);		if (ACPI_FAILURE(status))			panic("RISC-V ACPI system with no RHCT table\n"); 		riscv_timebase = rhct->time_base_freq;		acpi_put_table((struct acpi_table_header *)rhct);	} 	lpj_fine = riscv_timebase / HZ; 	timer_probe(); 	tick_setup_hrtimer_broadcast(); 	pv_time_init();}