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

#include <arch/cpu.h>
#include <fsp/api.h>

void platform_fsp_memory_init_params_cb(FSPM_UPD *mupd, uint32_t version)
{
}

asmlinkage void car_stage_entry(void)
{
}