/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <cpu/x86/smm.h> | |
#include <soc/ramstage.h> | |
#include <soc/smmrelocate.h> | |
#include "include/gpio.h" | |
void mainboard_silicon_init_params(FSPS_UPD *params) | |
{ | |
/* configure Lewisburg PCH GPIO controller after FSP-M */ | |
gpio_configure_pads(gpio_table, ARRAY_SIZE(gpio_table)); | |
} | |
void smm_mainboard_pci_resource_store_init(struct smm_pci_resource_info *slots, size_t size) | |
{ | |
soc_ubox_store_resources(slots, size); | |
} |