/* SPDX-License-Identifier: GPL-2.0-only */

#include <fsp/util.h>
#include <soc/ramstage.h>

void platform_fsp_silicon_init_params_cb(FSPS_UPD *silupd)
{
}

asmlinkage void chipset_teardown_car(void)
{
}