Changes in kernel/arch/sparc64/src/drivers/pci.c [7e752b2:d99c1d2] in mainline

File:

• kernel/arch/sparc64/src/drivers/pci.c (modified) (1 diff)

kernel/arch/sparc64/src/drivers/pci.c

@@ -211 +211 @@
                  * Unsupported model.
                  */
-                printf("Unsupported PCI controller model (%s).\n",
-                    (char *) prop->value);
+                printf("Unsupported PCI controller model (%s).\n", prop->value);
         }