Changes in uspace/lib/c/include/ipc/devman.h [64d2b10:0b5a4131] in mainline

File:

• uspace/lib/c/include/ipc/devman.h (modified) (5 diffs)

uspace/lib/c/include/ipc/devman.h

@@ -30 +30 @@
  * @{
  */
-
+ 
 #ifndef LIBC_IPC_DEVMAN_H_
 #define LIBC_IPC_DEVMAN_H_
 
-#include <ipc/common.h>
 #include <adt/list.h>
-#include <malloc.h>
-#include <mem.h>
+#include <ipc/ipc.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <str.h>
 
-#define DEVMAN_NAME_MAXLEN  256
+#define DEVMAN_NAME_MAXLEN 256
 
-typedef sysarg_t devman_handle_t;
+typedef ipcarg_t devman_handle_t;
 
 /** Ids of device models used for device-to-driver matching.
@@ -66 +67 @@
 } match_id_list_t;
 
-static inline match_id_t *create_match_id(void)
+
+static inline match_id_t * create_match_id()
 {
         match_id_t *id = malloc(sizeof(match_id_t));
@@ -83 +85 @@
 }
 
-static inline void add_match_id(match_id_list_t *ids, match_id_t *id)
+static inline void add_match_id(match_id_list_t *ids, match_id_t *id) 
 {
         match_id_t *mid = NULL;
-        link_t *link = ids->ids.next;
+        link_t *link = ids->ids.next;   
         
         while (link != &ids->ids) {
@@ -96 +98 @@
         }
         
-        list_insert_before(&id->link, link);
+        list_insert_before(&id->link, link);    
 }
 
@@ -121 +123 @@
         DEVMAN_CLIENT,
         DEVMAN_CONNECT_TO_DEVICE,
-        DEVMAN_CONNECT_FROM_DEVMAP,
         DEVMAN_CONNECT_TO_PARENTS_DEVICE
 } devman_interface_t;