Quelle  time.c   Sprache: C

// 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();
}