2014-12-12 22:05:28 +09:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2013, Intel Corporation
|
|
|
|
* Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com>
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Intel
|
|
|
|
*/
|
|
|
|
|
2014-12-12 22:05:29 +09:00
|
|
|
#include <common.h>
|
2015-01-28 14:13:36 +09:00
|
|
|
#include <asm/fsp/fsp_support.h>
|
2014-12-12 22:05:28 +09:00
|
|
|
|
2014-12-17 16:50:49 +09:00
|
|
|
void update_fsp_upd(struct upd_region *fsp_upd)
|
2014-12-12 22:05:28 +09:00
|
|
|
{
|
|
|
|
/* Override any UPD setting if required */
|
|
|
|
|
|
|
|
/* Uncomment the line below to enable DEBUG message */
|
|
|
|
/* fsp_upd->serial_dbgport_type = 1; */
|
|
|
|
|
|
|
|
/* Examples on how to initialize the pointers in UPD region */
|
|
|
|
/* fsp_upd->pcd_example = (EXAMPLE_DATA *)&example; */
|
|
|
|
}
|