Rev 4350 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4350 | Rev 4582 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | 38 | ||
39 | #ifndef __NET_NETIF_H__ |
39 | #ifndef __NET_NETIF_H__ |
40 | #define __NET_NETIF_H__ |
40 | #define __NET_NETIF_H__ |
41 | 41 | ||
42 | #include <async.h> |
42 | #include <async.h> |
43 | #include <rwlock.h> |
43 | #include <fibril_sync.h> |
44 | 44 | ||
45 | #include <ipc/ipc.h> |
45 | #include <ipc/ipc.h> |
46 | 46 | ||
47 | #include "../err.h" |
47 | #include "../err.h" |
48 | 48 | ||
Line 96... | Line 96... | ||
96 | /** Device map. |
96 | /** Device map. |
97 | */ |
97 | */ |
98 | device_map_t device_map; |
98 | device_map_t device_map; |
99 | /** Safety lock. |
99 | /** Safety lock. |
100 | */ |
100 | */ |
101 | rwlock_t lock; |
101 | fibril_rwlock_t lock; |
102 | }; |
102 | }; |
103 | 103 | ||
104 | /** Finds the device specific data. |
104 | /** Finds the device specific data. |
105 | * @param device_id The device identifier. Input parameter. |
105 | * @param device_id The device identifier. Input parameter. |
106 | * @param device The device specific data. Output parameter. |
106 | * @param device The device specific data. Output parameter. |