Changeset 96b02eb9 in mainline for uspace/srv/devman

Timestamp:

2010-12-14T12:52:38Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

6b10dab

Parents:

554debd

Message:

more unification of basic types

• use sysarg_t and native_t (unsigned and signed variant) in both kernel and uspace
• remove ipcarg_t in favour of sysarg_t

(no change in functionality)

Location:

uspace/srv/devman

Files:

• devman.c (modified) (2 diffs)
• devman.h (modified) (2 diffs)
• main.c (modified) (4 diffs)

uspace/srv/devman/devman.c

@@ -498 +498 @@
  * @param phone         The phone to the driver.
  */
-void set_driver_phone(driver_t *driver, ipcarg_t phone)
+void set_driver_phone(driver_t *driver, sysarg_t phone)
 {
         fibril_mutex_lock(&driver->driver_mutex);
@@ -692 +692 @@
             node->name);
         
-        ipcarg_t rc;
+        sysarg_t rc;
         ipc_call_t answer;
         

uspace/srv/devman/devman.h

@@ -86 +86 @@
         
         /** Phone asociated with this driver. */
-        ipcarg_t phone;
+        sysarg_t phone;
         /** Name of the device driver. */
         char *name;
@@ -302 +302 @@
 
 extern driver_t *find_driver(driver_list_t *, const char *);
-extern void set_driver_phone(driver_t *, ipcarg_t);
+extern void set_driver_phone(driver_t *, sysarg_t);
 extern void initialize_running_driver(driver_t *, dev_tree_t *);
 

uspace/srv/devman/main.c

@@ -184 +184 @@
  * @return              Zero on success, negative error code otherwise.
  */
-static int devman_receive_match_ids(ipcarg_t match_count,
+static int devman_receive_match_ids(sysarg_t match_count,
     match_id_list_t *match_ids)
 {
@@ -211 +211 @@
 {
         devman_handle_t parent_handle = IPC_GET_ARG1(*call);
-        ipcarg_t match_count = IPC_GET_ARG2(*call);
+        sysarg_t match_count = IPC_GET_ARG2(*call);
         dev_tree_t *tree = &device_tree;
         
@@ -531 +531 @@
         
         /* Select interface. */
-        switch ((ipcarg_t) (IPC_GET_ARG1(*icall))) {
+        switch ((sysarg_t) (IPC_GET_ARG1(*icall))) {
         case DEVMAN_DRIVER:
                 devman_connection_driver(iid, icall);
@@ -599 +599 @@
 
         /* Register device manager at naming service. */
-        ipcarg_t phonead;
+        sysarg_t phonead;
         if (ipc_connect_to_me(PHONE_NS, SERVICE_DEVMAN, 0, 0, &phonead) != 0)
                 return -1;