diff options
| -rw-r--r-- | sys/dev/pci/pci.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index 4395646..a609e66 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -1171,7 +1171,7 @@ pci_probe_nomatch(device_t dev, device_t child) ((cp != NULL) && (scp != NULL)) ? ", " : "", scp ? : ""); } - printf(" at %d:%d (no driver attached)\n", + printf(" at %d.%d (no driver attached)\n", pci_get_slot(child), pci_get_function(child)); return; |
