/* Note: The returned array/buffer is owned by callee. */
PCI_SEGMENT_INFO* EFIAPI GetPciSegmentInfo(UINTN *Count)
/* Note: The returned array/buffer is owned by callee. */
PCI_SEGMENT_INFO* EFIAPI GetPciSegmentInfo(UINTN *Count)
{
  ASSERT (FALSE);
  *Count = 0;
  return NULL;
}