/* If any reserved bits in Address are set, then ASSERT(). If Address is not aligned on a 32-bit boundary, then ASSERT(). */
UINT32 EFIAPI PciSegmentWrite32(IN UINT64 Address, IN UINT32 Value)
/* If any reserved bits in Address are set, then ASSERT(). If Address is not aligned on a 32-bit boundary, then ASSERT(). */
UINT32 EFIAPI PciSegmentWrite32(IN UINT64 Address, IN UINT32 Value)
{
  ASSERT_INVALID_PCI_SEGMENT_ADDRESS (Address, 3);
  return PciWrite32 (PCI_SEGMENT_TO_PCI_ADDRESS (Address), Value);
}