Felix Held | 8d0a609 | 2021-01-14 01:40:50 +0100 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| 2 | |
| 3 | #include <fsp/api.h> |
Nikolai Vyssotski | 42cd4dd | 2021-03-11 19:29:51 -0600 | [diff] [blame] | 4 | #include <device/pci.h> |
Felix Held | 8d0a609 | 2021-01-14 01:40:50 +0100 | [diff] [blame] | 5 | |
Nikolai Vyssotski | 2d24146 | 2021-02-11 20:08:22 -0600 | [diff] [blame] | 6 | static void fsp_assign_vbios_upds(FSP_S_CONFIG *scfg) |
| 7 | { |
Matt Papageorge | 5f5ca0c | 2021-03-25 11:22:47 -0500 | [diff] [blame] | 8 | scfg->vbios_buffer = CONFIG(RUN_FSP_GOP) ? PCI_VGA_RAM_IMAGE_START : 0; |
Nikolai Vyssotski | 2d24146 | 2021-02-11 20:08:22 -0600 | [diff] [blame] | 9 | } |
| 10 | |
Felix Held | 8d0a609 | 2021-01-14 01:40:50 +0100 | [diff] [blame] | 11 | void platform_fsp_silicon_init_params_cb(FSPS_UPD *supd) |
| 12 | { |
Nikolai Vyssotski | 2d24146 | 2021-02-11 20:08:22 -0600 | [diff] [blame] | 13 | FSP_S_CONFIG *scfg = &supd->FspsConfig; |
| 14 | |
| 15 | fsp_assign_vbios_upds(scfg); |
Felix Held | 8d0a609 | 2021-01-14 01:40:50 +0100 | [diff] [blame] | 16 | } |