kernel: Update kernel log style

Kernel logs must now all be lowercase for consistency. A new style
called Peripheral Description Notation (PDN) has also been introduced
to describe devices.

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 3 insertions, 2 deletions

diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c
index 585480f..8328ffc 100644
--- a/sys/dev/pci/pci.c
+++ b/sys/dev/pci/pci.c
@@ -265,11 +265,12 @@ pci_get_device(struct pci_lookup lookup, uint16_t lookup_type)
 int
 pci_init(void)
 {
+    size_t ndev;
     TAILQ_INIT(&device_list);
-    pr_trace("Scanning each bus...\n");
 
     /* Recursively scan bus 0 */
     pci_scan_bus(0);
-
+    ndev = TAILQ_NELEM(&device_list);
+    pr_trace("detected %d devices at pci*\n", ndev);
     return 0;
 }