Enhancing /proc/pci

- Adding missing fields for PCI device lookup - Adding the domain (for now set to zero) as part of the slot name Change-Id: Iebaf3b21f6ab5024738cbc1dea66d5ad3ada175d
2014-11-10 14:43:27 +01:00
parent 5d8311761a
commit 9e77ef5013
3 changed files with 11 additions and 7 deletions
@@ -208,7 +208,7 @@ start|autoboot)
    then
 	up -n printer -dev /dev/lp -period 10HZ
 	# start VirtualBox time sync driver if the device is there
-	if grep '^[^ ]* [^ ]* 80EE:CAFE ' /proc/pci >/dev/null; then
+	if grep '^[^ ]* [^ ]* 80EE:CAFE[^ ]* ' /proc/pci >/dev/null; then
 		up -n vbox -period 10HZ
 	fi
    fi