Rev 4439 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4439 | Rev 4537 | ||
|---|---|---|---|
| Line 45... | Line 45... | ||
| 45 | #include <async.h> |
45 | #include <async.h> |
| 46 | #include <ipc/ipc.h> |
46 | #include <ipc/ipc.h> |
| 47 | #include <as.h> |
47 | #include <as.h> |
| 48 | #include <assert.h> |
48 | #include <assert.h> |
| 49 | #include <futex.h> |
49 | #include <futex.h> |
| 50 | #include <libadt/list.h> |
50 | #include <adt/list.h> |
| 51 | #include <libadt/hash_table.h> |
51 | #include <adt/hash_table.h> |
| - | 52 | #include <mem.h> |
|
| 52 | 53 | ||
| 53 | /** Lock protecting the device connection list */ |
54 | /** Lock protecting the device connection list */ |
| 54 | static futex_t dcl_lock = FUTEX_INITIALIZER; |
55 | static futex_t dcl_lock = FUTEX_INITIALIZER; |
| 55 | /** Device connection list head. */ |
56 | /** Device connection list head. */ |
| 56 | static LIST_INITIALIZE(dcl_head); |
57 | static LIST_INITIALIZE(dcl_head); |