/* Insert a root bridge into PCI device pool. */
VOID InsertRootBridge(IN PCI_IO_DEVICE *RootBridge)
/* Insert a root bridge into PCI device pool. */
VOID InsertRootBridge(IN PCI_IO_DEVICE *RootBridge)
{
  InsertTailList (&mPciDevicePool, &(RootBridge->Link));
}