bde2109b7c
IPC changes: - receive() is changed to take an additional parameter, which is a pointer to a status code. - The status code is filled in by the kernel to provide additional information to the caller. For now, the kernel only fills in the IPC call used by the sender. Syslib changes: - sef_receive() has been split into sef_receive() (with the original semantics) and sef_receive_status() which exposes the status code to userland. - Ideally, every sys process should gradually switch to sef_receive_status() and use is_ipc_notify() as a dependable way to check for notify. - SEF has been modified to use is_ipc_notify() and demonstrate how to use the new status code.
21 lines
723 B
C
21 lines
723 B
C
#ifndef _IPC_CONST_H
|
|
#define _IPC_CONST_H
|
|
|
|
/* System call numbers that are passed when trapping to the kernel. */
|
|
#define SEND 1 /* blocking send */
|
|
#define RECEIVE 2 /* blocking receive */
|
|
#define SENDREC 3 /* SEND + RECEIVE */
|
|
#define NOTIFY 4 /* asynchronous notify */
|
|
#define SENDNB 5 /* nonblocking send */
|
|
#define SENDA 16 /* asynchronous send */
|
|
|
|
/* Macros for IPC status code manipulation. */
|
|
#define IPC_STATUS_CALL_SHIFT 0
|
|
#define IPC_STATUS_CALL_MASK 0x3F
|
|
#define IPC_STATUS_CALL(status) \
|
|
(((status) >> IPC_STATUS_CALL_SHIFT) & IPC_STATUS_CALL_MASK)
|
|
#define IPC_STATUS_CALL_TO(call) \
|
|
(((call) & IPC_STATUS_CALL_MASK) << IPC_STATUS_CALL_SHIFT)
|
|
|
|
#endif /* IPC_CONST_H */
|