2020-12-02 14:38:53 +01:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
|
|
|
|
#include <amdblocks/amd_pci_mmconf.h>
|
|
|
|
#include <bootblock_common.h>
|
2020-12-08 17:39:26 +01:00
|
|
|
#include <cpu/x86/tsc.h>
|
2020-12-02 14:38:53 +01:00
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
asmlinkage void bootblock_c_entry(uint64_t base_timestamp)
|
|
|
|
{
|
|
|
|
enable_pci_mmconf();
|
2020-12-08 17:39:26 +01:00
|
|
|
|
|
|
|
/*
|
|
|
|
* base_timestamp is raw tsc value. We need to divide by tsc_freq_mhz
|
|
|
|
* to get micro-seconds granularity.
|
|
|
|
*/
|
|
|
|
base_timestamp /= tsc_freq_mhz();
|
|
|
|
|
|
|
|
bootblock_main_with_basetime(base_timestamp);
|
2020-12-02 14:38:53 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void bootblock_soc_early_init(void)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void bootblock_soc_init(void)
|
|
|
|
{
|
|
|
|
}
|