Changes in uspace/lib/c/include/ipc/devman.h [0b5a4131:64d2b10] 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 <ipc/ipc.h>
-#include <stdlib.h>
-#include <stdio.h>
-#include <str.h>
+#include <malloc.h>
+#include <mem.h>
 
-#define DEVMAN_NAME_MAXLEN 256
+#define DEVMAN_NAME_MAXLEN  256
 
-typedef ipcarg_t devman_handle_t;
+typedef sysarg_t devman_handle_t;
 
 /** Ids of device models used for device-to-driver matching.
@@ -67 +66 @@
 } match_id_list_t;
 
-
-static inline match_id_t * create_match_id()
+static inline match_id_t *create_match_id(void)
 {
         match_id_t *id = malloc(sizeof(match_id_t));
@@ -85 +83 @@
 }
 
-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) {
@@ -98 +96 @@
         }
         
-        list_insert_before(&id->link, link);    
+        list_insert_before(&id->link, link);
 }
 
@@ -123 +121 @@
         DEVMAN_CLIENT,
         DEVMAN_CONNECT_TO_DEVICE,
+        DEVMAN_CONNECT_FROM_DEVMAP,
         DEVMAN_CONNECT_TO_PARENTS_DEVICE
 } devman_interface_t;