Changes in uspace/drv/rootpc/rootpc.c [5f0123b:178673c] in mainline

File:

• uspace/drv/rootpc/rootpc.c (modified) (3 diffs)

uspace/drv/rootpc/rootpc.c

@@ -28 +28 @@
 
 /**
- * @defgroup root_pc PC platform driver.
- * @brief HelenOS PC platform driver.
+ * @defgroup root_pc Root HW device driver for ia32 and amd64 platform.
+ * @brief HelenOS root HW device driver for ia32 and amd64 platform.
  * @{
  */
@@ -177 +177 @@
 static int rootpc_add_device(device_t *dev)
 {
-        printf(NAME ": rootpc_add_device, device handle = %d\n",
-            (int)dev->handle);
+        printf(NAME ": rootpc_add_device, device handle = %d\n", dev->handle);
         
         /* Register child devices. */
         if (!rootpc_add_children(dev)) {
-                printf(NAME ": failed to add child devices for PC platform.\n");
+                printf(NAME ": failed to add child devices for platform "
+                    "ia32.\n");
         }
         
@@ -195 +195 @@
 int main(int argc, char *argv[])
 {
-        printf(NAME ": HelenOS PC platform driver\n");
+        printf(NAME ": HelenOS rootpc device driver\n");
         root_pc_init();
         return driver_main(&rootpc_driver);