| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #include <acpi/acpi.h> | |
| #include <arch/cpu.h> | |
| #include <console/console.h> | |
| #include <fsp/api.h> | |
| #include <program_loading.h> | |
| void platform_fsp_memory_init_params_cb(FSPM_UPD *mupd, uint32_t version) | |
| { | |
| } | |
| asmlinkage void car_stage_entry(void) | |
| { | |
| post_code(0x40); | |
| console_init(); | |
| post_code(0x41); | |
| u32 val = cpuid_eax(1); | |
| printk(BIOS_DEBUG, "Family_Model: %08x\n", val); | |
| fsp_memory_init(acpi_is_wakeup_s3()); | |
| run_ramstage(); | |
| } |