| /branches/dynload/kernel/generic/include/lib/rd.h |
|---|
| 66,16 → 66,18 |
| #define RE_UNSUPPORTED 2 /* Non-supported image (e.g. wrong version) */ |
| /** RAM disk header */ |
| typedef struct { |
| struct rd_header { |
| uint8_t magic[RD_MAGIC_SIZE]; |
| uint8_t version; |
| uint8_t data_type; |
| uint32_t header_size; |
| uint64_t data_size; |
| } rd_header; |
| } __attribute__ ((packed)); |
| extern int init_rd(rd_header * addr, size_t size); |
| typedef struct rd_header rd_header_t; |
| extern int init_rd(rd_header_t *addr, size_t size); |
| #endif |
| /** @} |
| /branches/dynload/kernel/generic/include/ipc/ipc.h |
|---|
| 205,6 → 205,8 |
| #define IPC_MAX_PHONES 16 |
| #include <synch/spinlock.h> |
| #include <synch/mutex.h> |
| #include <synch/waitq.h> |
| struct answerbox; |
| 225,7 → 227,7 |
| /** Structure identifying phone (in TASK structure) */ |
| typedef struct { |
| SPINLOCK_DECLARE(lock); |
| mutex_t lock; |
| link_t link; |
| struct answerbox *callee; |
| ipc_phone_state_t state; |