diff options
-rw-r--r-- | sys/dev/pci/pci.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index 8b19b5c..76bae52 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -980,8 +980,9 @@ pci_probe_nomatch(device_t dev, device_t child) } } device_printf(dev, "<%s%s%s>", - cp ? : "", ((cp != NULL) && (scp != NULL)) ? ", " : "", - scp ? : ""); + cp ? cp : "", + ((cp != NULL) && (scp != NULL)) ? ", " : "", + scp ? scp : ""); } printf(" at device %d.%d (no driver attached)\n", pci_get_slot(child), pci_get_function(child)); |