FreeBSD currently lacks full support for PCI hotplug devices. This page will describe the issues with hotplug support, underlying infrastructure needed to support hotplugging, and device drivers etc. that need to be written.
PCI hotplug device drivers
Compaq
IBM
Dell
PCI-SIG
PCI-SIG hot plug controller spec
PCI infrastructure
bus number assignments
BAR allocation
PCI-PCI bridge allocation
Subsystem requirements
ifnet queisce
GEOM quiesce