Small nit: Make both prints use 'at device %d.%d'.

This commit is contained in:
Nick Hibma 2001-09-01 23:06:14 +00:00
parent bb8d56ce53
commit c2d7a52a1b
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=82768

View File

@ -969,7 +969,7 @@ pci_probe_nomatch(device_t dev, device_t child)
((cp != NULL) && (scp != NULL)) ? ", " : "", ((cp != NULL) && (scp != NULL)) ? ", " : "",
scp ? : ""); scp ? : "");
} }
printf(" at %d.%d (no driver attached)\n", printf(" at device %d.%d (no driver attached)\n",
pci_get_slot(child), pci_get_slot(child),
pci_get_function(child)); pci_get_function(child));
return; return;