| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* This file is part of the coreboot project. */ | |
| #include <fsp/util.h> | |
| #include <soc/ramstage.h> | |
| void platform_fsp_silicon_init_params_cb(FSPS_UPD *silupd) | |
| { | |
| } | |
| asmlinkage void chipset_teardown_car(void) | |
| { | |
| } |