Rev 4351 | Rev 4582 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4351 | Rev 4558 | ||
|---|---|---|---|
| Line 41... | Line 41... | ||
| 41 | 41 | ||
| 42 | #include <ipc/ipc.h> |
42 | #include <ipc/ipc.h> |
| 43 | #include <ipc/services.h> |
43 | #include <ipc/services.h> |
| 44 | 44 | ||
| 45 | #include "../../include/device.h" |
45 | #include "../../include/device.h" |
| - | 46 | #include "../../include/hardware.h" |
|
| 46 | 47 | ||
| 47 | #include "../../structures/generic_char_map.h" |
48 | #include "../../structures/generic_char_map.h" |
| 48 | #include "../../structures/int_map.h" |
49 | #include "../../structures/int_map.h" |
| 49 | #include "../../structures/measured_strings.h" |
50 | #include "../../structures/measured_strings.h" |
| 50 | 51 | ||
| Line 98... | Line 99... | ||
| 98 | /** Device identifier. |
99 | /** Device identifier. |
| 99 | */ |
100 | */ |
| 100 | device_id_t device_id; |
101 | device_id_t device_id; |
| 101 | /** Hardware type. |
102 | /** Hardware type. |
| 102 | */ |
103 | */ |
| 103 | ipcarg_t hardware; |
104 | hw_type_t hardware; |
| 104 | /** Reserved packet prefix length. |
105 | /** Reserved packet prefix length. |
| 105 | */ |
106 | */ |
| 106 | size_t prefix; |
107 | size_t prefix; |
| 107 | /** Maximal packet content length. |
108 | /** Maximal packet content length. |
| 108 | */ |
109 | */ |