2020-04-05 15:47:14 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2016-02-07 23:37:13 +01:00
|
|
|
|
|
|
|
#include <cpu/x86/tsc.h>
|
|
|
|
|
2016-12-31 17:21:56 +01:00
|
|
|
unsigned long tsc_freq_mhz(void)
|
2016-02-07 23:37:13 +01:00
|
|
|
{
|
2016-07-29 18:31:16 +02:00
|
|
|
/* CPU freq = 400 MHz */
|
2016-12-31 17:21:56 +01:00
|
|
|
return 400;
|
2016-02-07 23:37:13 +01:00
|
|
|
}
|