src/arch/x86/timestamp.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <cpu/x86/tsc.h>
   4 #include <timestamp.h>
   5
   6 uint64_t timestamp_get(void)
   7 {
   8         return rdtscll();
   9 }
  10
  11 int timestamp_tick_freq_mhz(void)
  12 {
  13         /* Chipsets that have a constant TSC provide this value correctly. */
  14         if (tsc_constant_rate())
  15                 return tsc_freq_mhz();
  16
  17         /* Filling tick_freq_mhz = 0 in timestamps-table will trigger
  18          * userspace utility to try deduce it from the running system.
  19          */
  20         return 0;
  21 }