2014-12-12 13:05:28 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2013, Intel Corporation
|
|
|
|
* Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com>
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Intel
|
|
|
|
*/
|
|
|
|
|
2014-12-12 13:05:29 +00:00
|
|
|
#include <common.h>
|
2015-01-28 05:13:36 +00:00
|
|
|
#include <asm/fsp/fsp_support.h>
|
2014-12-12 13:05:28 +00:00
|
|
|
|
2015-12-11 06:03:04 +00:00
|
|
|
void update_fsp_configs(struct fsp_config_data *config,
|
|
|
|
struct fspinit_rtbuf *rt_buf)
|
2014-12-12 13:05:28 +00:00
|
|
|
{
|
2015-12-11 06:03:04 +00:00
|
|
|
/* 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;
|
|
|
|
|
2014-12-12 13:05:28 +00:00
|
|
|
/* Override any UPD setting if required */
|
|
|
|
}
|