/* Destroy root bridge and remove it from device tree. */
VOID DestroyRootBridge(IN PCI_IO_DEVICE *RootBridge)
/* Destroy root bridge and remove it from device tree. */
VOID DestroyRootBridge(IN PCI_IO_DEVICE *RootBridge)
{
  DestroyPciDeviceTree (RootBridge);
  FreePciDevice (RootBridge);
}