rendered paste body+ for PCI_DEVICE in '*'
++ echo 0000:00:12.0
++ sed -e 's/\([^:]*\):\(.*\):\(.*\)\.\(.*\)/\1 \2 \3 \4/'
+ set 0000 00 12 0
+ PCI_SLOT_NAME=0000:00:12.0
++ cat 0000:00:12.0/class
+ PCI_CLASS=0x020000
+ PCI_CLASS=020000
++ cat 0000:00:12.0/vendor
+ vendor_id=0x1106
++ cat 0000:00:12.0/device
+ device_id=0x3065
+ PCI_ID=1106:3065
++ cat 0000:00:12.0/subsystem_vendor
+ sub_vendor_id=0x1043
++ cat 0000:00:12.0/subsystem_device
+ sub_device_id=0x80ed
+ PCI_SUBSYS_ID=1043:80ed
+ /sbin/hotplug pci