/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <stdint.h> | |
#include <cpu/x86/msr.h> | |
#include <cpu/x86/tsc.h> | |
#include <soc/cpu.h> | |
#include <soc/msr.h> | |
unsigned long tsc_freq_mhz(void) | |
{ | |
msr_t platform_info; | |
platform_info = rdmsr(MSR_PLATFORM_INFO); | |
return CPU_BCLK * ((platform_info.lo >> 8) & 0xff); | |
} |