Print the name of the device as well as the pointers
authorRonald G. Minnich <rminnich@google.com>
Fri, 31 Jan 2014 16:17:17 +0000 (08:17 -0800)
committerRonald G. Minnich <rminnich@google.com>
Fri, 31 Jan 2014 16:17:17 +0000 (08:17 -0800)
Signed-off-by: Ronald G. Minnich <rminnich@google.com>
kern/src/ns/devtab.c

index 1252750..c2a43ca 100644 (file)
@@ -30,7 +30,8 @@ void devtabinit()
 
        for (i = 0; &devtab[i] < __devtabend; i++) {
                /* if we have errors, check the align of struct dev and objdump */
-               printd("i %d, dev %p, init %p\n", i, &devtab[i], devtab[i].init);
+               printd("i %d, '%s', dev %p, init %p\n", i, devtab[i].name,
+                               &devtab[i], devtab[i].init);
                devtab[i].init();
        }
 }