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); |