| // SPDX-License-Identifier: Intel | |
| /* | |
| * Copyright (C) 2013, Intel Corporation | |
| * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com> | |
| */ | |
| #include <asm/fsp1/fsp_support.h> | |
| void fsp_update_configs(struct fsp_config_data *config, | |
| struct fspinit_rtbuf *rt_buf) | |
| { | |
| /* Initialize runtime buffer for fsp_init() */ | |
| rt_buf->common.stack_top = config->common.stack_top - 32; | |
| rt_buf->common.boot_mode = config->common.boot_mode; | |
| rt_buf->common.upd_data = &config->fsp_upd; | |
| /* Override any UPD setting if required */ | |
| } |