while (dev = pci_find_device(VENDOR_ID, DEVICE_ID, dev))
/* HotPlug device <dev> is removed NOW. */
configure_device(dev);
Other than fixing all drivers, I can't see any easy way out of this, other
than possibly refusing to list removable hardware when pci_find_device() is
used.
/me paints it pink and puts an SEP field around it.
-- dwmw2- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Thu Jun 15 2000 - 21:00:33 EST