/* Write value to PCI Address 'offset' */
int writel(UINT32 value, UINT32 offset)
{
PCI_WRITE(offset,0x0, value);
return 0;
}
--*/
#include <Library/EfiRegTableLib.h>
#include "PlatformDxe.h"
extern EFI_PLATFORM_INFO_HOB mPlatformInfo;
#define R_EFI_PCI_SVID 0x2C
EFI_REG_TABLE mSubsystemIdRegs [] = {
//
// Program SVID and SID for PCI devices.
// Combine two 16 bit PCI_WRITE into one 32 bit PCI_WRITE in order to boost performance
//
PCI_WRITE (
MC_BUS, MC_DEV, MC_FUN, R_EFI_PCI_SVID, EfiPciWidthUint32,
V_PCH_DEFAULT_SVID_SID, OPCODE_FLAG_S3SAVE
),
PCI_WRITE (
IGD_BUS, IGD_DEV, IGD_FUN_0, R_EFI_PCI_SVID, EfiPciWidthUint32,
V_PCH_DEFAULT_SVID_SID, OPCODE_FLAG_S3SAVE
),
PCI_WRITE(
DEFAULT_PCI_BUS_NUMBER_PCH, 0, 0, R_EFI_PCI_SVID, EfiPciWidthUint32,
V_PCH_DEFAULT_SVID_SID, OPCODE_FLAG_S3SAVE
),
PCI_WRITE (
DEFAULT_PCI_BUS_NUMBER_PCH, PCI_DEVICE_NUMBER_PCH_LPC, PCI_FUNCTION_NUMBER_PCH_LPC, R_PCH_LPC_SS, EfiPciWidthUint32,
V_PCH_DEFAULT_SVID_SID, OPCODE_FLAG_S3SAVE
),