mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 10:53:16 +01:00
aeef546544
Task ids are now unsigned as the container ids will need to be encoded in the id fields as well. For requests who require even more comprehensive id input, (such as thread creation) also added is the container id so that threads _could_ potentially be created in other containers as well.
33 lines
590 B
C
33 lines
590 B
C
#ifndef __IPC_H__
|
|
#define __IPC_H__
|
|
|
|
|
|
#define L4_NILTHREAD 0xFFFFFFFF
|
|
#define L4_ANYTHREAD 0xFFFFFFFE
|
|
|
|
#define L4_IPC_TAG_MR_OFFSET 0
|
|
|
|
/* Pagefault */
|
|
#define L4_IPC_TAG_PFAULT 0
|
|
|
|
#if defined (__KERNEL__)
|
|
|
|
/*
|
|
* ipc syscall uses an ipc_type variable and send/recv
|
|
* details are embedded in this variable.
|
|
*/
|
|
enum IPC_TYPE {
|
|
IPC_INVALID = 0,
|
|
IPC_SEND = 1,
|
|
IPC_RECV = 2,
|
|
IPC_SENDRECV = 3,
|
|
};
|
|
|
|
/* These are for internally created ipc paths. */
|
|
int ipc_send(l4id_t to, unsigned int flags);
|
|
int ipc_sendrecv(l4id_t to, l4id_t from, unsigned int flags);
|
|
|
|
#endif
|
|
|
|
#endif /* __IPC_H__ */
|