Introduction   API Reference   Files   Index  

Message structures / dopes
[Datatypes, Defines and Macros]


Data Structures

struct  l4_msg_t
 Structure to describe long IPC. More...
struct  l4_msgdope_struct_t
 L4 message dope structure. More...
union  l4_msgdope_t
 L4 message dope type. More...
struct  l4_strdope_t
 L4 string dope. More...

Defines

#define L4_IPC_NIL_DESCRIPTOR
 Nil message descriptor.
#define L4_IPC_SHORT_MSG
 Short IPC (register-only) message descriptor.
#define L4_IPC_SHORT_FPAGE
 Short flexpage IPC (register-only) message descriptor, message words are interpreted as send flexpage descriptor.
#define L4_IPC_DOPE(dwords, strings)
 Build IPC message dope.
#define L4_IPC_MAPMSG(address, size)
 Build short flexpage receive message descriptor.
#define L4_IPC_IOMAPMSG(port, iosize)
 Build short I/O flexpage receive message descriptor.
#define L4_IPC_CAPMAPMSG(taskno, order)
 Build short capability flexpage receive message descriptor.
#define L4_IPC_SHORT_MSG_NODONATE
 Short IPC (register-only) message descriptor w/o donation.

Define Documentation

#define L4_IPC_DOPE ( dwords,
strings   ) 

Build IPC message dope.

Parameters:
dwords Number of dwords in message
strings Number of indirect strings in message

Definition at line 45 of file L4API-l4v2/ipc.h.

#define L4_IPC_MAPMSG ( address,
size   ) 

Build short flexpage receive message descriptor.

Parameters:
address Flexpage receive window address
size Receive window size (log2)

Definition at line 57 of file L4API-l4v2/ipc.h.

#define L4_IPC_IOMAPMSG ( port,
iosize   ) 

Build short I/O flexpage receive message descriptor.

Parameters:
port I/O flexpage receive window base port
iosize Receive window size

Definition at line 69 of file L4API-l4v2/ipc.h.

#define L4_IPC_CAPMAPMSG ( taskno,
order   ) 

Build short capability flexpage receive message descriptor.

Parameters:
taskno Task number
order Receive window size

Definition at line 81 of file L4API-l4v2/ipc.h.


Fiasco/L4 System Call C-Bindings Reference Manual,  © 1996-2008