/* This function wraps EFI_PEI_PCI_CFG2_PPI.Write() service. It writes the PCI configuration register specified by Address with the value specified by Data. The width of data is specifed by Width. Data is returned. */
UINT32 PeiPciSegmentLibPciCfg2WriteWorker(IN UINT64 Address, IN EFI_PEI_PCI_CFG_PPI_WIDTH Width, IN UINT32 Data)
/* This function wraps EFI_PEI_PCI_CFG2_PPI.Write() service. It writes the PCI configuration register specified by Address with the value specified by Data. The width of data is specifed by Width. Data is returned. */
UINT32 PeiPciSegmentLibPciCfg2WriteWorker(IN UINT64 Address, IN EFI_PEI_PCI_CFG_PPI_WIDTH Width, IN UINT32 Data)
{
  CONST EFI_PEI_PCI_CFG2_PPI  *PciCfg2Ppi;
  UINT64                      PciCfg2Address;
  PciCfg2Ppi     = InternalGetPciCfg2Ppi (Address);
  PciCfg2Address = PCI_TO_PCICFG2_ADDRESS (Address);
  PciCfg2Ppi->Write (
                GetPeiServicesTablePointer (),
                PciCfg2Ppi,
                Width,
                PciCfg2Address,
                &Data
                );
  return Data;
}