2018-05-06 21:58:06 +00:00
|
|
|
// SPDX-License-Identifier: Intel
|
2014-12-12 13:05:28 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2013, Intel Corporation
|
|
|
|
* Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com>
|
|
|
|
*/
|
|
|
|
|
2014-12-12 13:05:29 +00:00
|
|
|
#include <common.h>
|
2019-09-25 14:00:11 +00:00
|
|
|
#include <asm/fsp1/fsp_support.h>
|
2014-12-12 13:05:28 +00:00
|
|
|
|
2019-09-25 14:11:25 +00:00
|
|
|
void fsp_update_configs(struct fsp_config_data *config,
|
2015-12-11 06:03:04 +00:00
|
|
|
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 */
|
|
|
|
}
|