/* If any reserved bits in Address are set, then ASSERT(). If Address is not aligned on a 16-bit boundary, then ASSERT(). */
UINT16 EFIAPI PciSegmentWrite16(IN UINT64 Address, IN UINT16 Value)
/* If any reserved bits in Address are set, then ASSERT(). If Address is not aligned on a 16-bit boundary, then ASSERT(). */
UINT16 EFIAPI PciSegmentWrite16(IN UINT64 Address, IN UINT16 Value)
{
  ASSERT_INVALID_PCI_SEGMENT_ADDRESS (Address, 1);
  return (UINT16)DxePciSegmentLibPciRootBridgeIoWriteWorker (Address, EfiPciWidthUint16, Value);
}