ade7dc8ded
Devmand (Device manager daemon) is the daemon that will dynamically manage services based on events received from the system.
22 lines
514 B
C
22 lines
514 B
C
#ifndef DDEKIT_SRC_MSG_QUEUE_H
|
|
#define DDEKIT_SRC_MSG_QUEUE_H
|
|
|
|
#include <ddekit/ddekit.h>
|
|
#include <ddekit/thread.h>
|
|
#include <minix/ipc.h>
|
|
|
|
struct ddekit_minix_msg_q;
|
|
|
|
void ddekit_minix_queue_msg(message *m, int ipc_status);
|
|
|
|
void ddekit_minix_rcv
|
|
(struct ddekit_minix_msg_q * mq, message *m, int *ipc_status);
|
|
|
|
struct ddekit_minix_msg_q *ddekit_minix_create_msg_q(unsigned from,
|
|
unsigned to);
|
|
|
|
void ddekit_minix_destroy_msg_q(struct ddekit_minix_msg_q *mq);
|
|
|
|
|
|
#endif /* DDEKIT_SRC_MSG_QUEUE_H */
|