26 #ifndef __L4SYS__INCLUDE__L4API_FIASCO__IPC_H__ 27 #define __L4SYS__INCLUDE__L4API_FIASCO__IPC_H__ 30 #include <l4/sys/utcb.h> 433 l4_sndfpage_add_u(
l4_fpage_t const snd_fpage,
unsigned long snd_base,
519 return l4_error_u(tag,
l4_utcb());
524 {
return (l4_utcb_tcr_u(u)->error & 1) != 0; }
527 {
return l4_utcb_tcr_u(u)->
error & 1; }
538 l4_sndfpage_add_u(
l4_fpage_t const snd_fpage,
unsigned long snd_base,
548 v->
mr[i + 1] = snd_fpage.
raw;
559 return l4_sndfpage_add_u(snd_fpage, snd_base, tag,
l4_utcb());
Identify a message item as map item.
Timeout during receive operation.
Encapsulation of the message-register block in the UTCB.
Timeout during send operation.
int l4_sndfpage_add(l4_fpage_t const snd_fpage, unsigned long snd_base, l4_msgtag_t *tag) L4_NOTHROW
Add a flex-page to be sent to the UTCB.
Total number of message register (MRs) available.
Receive operation aborted.
Invalid capability selector.
unsigned l4_msgtag_has_error(l4_msgtag_t t) L4_NOTHROW
Test for error indicator flag.
l4_msgtag_t l4_ipc_send_and_wait(l4_cap_idx_t dest, l4_utcb_t *utcb, l4_msgtag_t tag, l4_umword_t *label, l4_timeout_t timeout) L4_NOTHROW
Send a message and do an open wait.
int l4_ipc_is_snd_error(l4_utcb_t *utcb) L4_NOTHROW
Returns whether an error occurred in send phase of an invocation.
l4_umword_t l4_ipc_error(l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW
Get the error code for an object invocation.
l4_umword_t mr[L4_UTCB_GENERIC_DATA_SIZE]
Message registers.
Common L4 ABI Data Types.
l4_msgtag_t l4_ipc_call(l4_cap_idx_t object, l4_utcb_t *utcb, l4_msgtag_t tag, l4_timeout_t timeout) L4_NOTHROW
Object call (usual invocation).
long l4_ipc_to_errno(unsigned long ipc_error_code) L4_NOTHROW
Get a negative error code for the given IPC error code.
Receive-pagefault timeout in send operation.
#define L4_ALWAYS_INLINE
L4 Inline function attribute.
Wait flags (combines receive and open wait).
Send-pagefault timeout in send operation.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
long l4_msgtag_label(l4_msgtag_t t) L4_NOTHROW
Get the protocol of tag.
Receive-pagefault timeout in receive operation.
l4_msgtag_flags
Flags for message tags.
L4_ALWAYS_INLINE l4_msgtag_t l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, l4_umword_t flags, l4_umword_t slabel, l4_msgtag_t tag, l4_umword_t *rlabel, l4_timeout_t timeout) L4_NOTHROW
Generic L4 object invocation.
Map flexpage failed in receive operation.
unsigned l4_msgtag_items(l4_msgtag_t t) L4_NOTHROW
Get the number of typed items.
int l4_ipc_error_code(l4_utcb_t *utcb) L4_NOTHROW
Get the error condition of the last invocation from the TCR.
Call flags (combines send and receive).
Non-existing destination or source.
unsigned long l4_umword_t
Unsigned machine word.
unsigned l4_msgtag_words(l4_msgtag_t t) L4_NOTHROW
Get the number of untyped words.
l4_umword_t raw
Raw value.
l4_msgtag_t l4_ipc_sleep(l4_timeout_t timeout) L4_NOTHROW
Sleep for an amount of time.
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
l4_msgtag_t l4_ipc_reply_and_wait(l4_utcb_t *utcb, l4_msgtag_t tag, l4_umword_t *label, l4_timeout_t timeout) L4_NOTHROW
Reply and wait operation (uses the reply capability).
Communication error-range low.
l4_msgtag_t l4_msgtag(long label, unsigned words, unsigned items, unsigned flags) L4_NOTHROW
Create a message tag from the specified values.
Cut receive message, due to message buffer is too small.
l4_msgtag_t l4_ipc_send(l4_cap_idx_t dest, l4_utcb_t *utcb, l4_msgtag_t tag, l4_timeout_t timeout) L4_NOTHROW
Send a message to an object (do not wait for a reply).
l4_ipc_tcr_error_t
Error codes in the error TCR.
long l4_error(l4_msgtag_t tag) L4_NOTHROW
Return error code of a system call return message tag.
l4_msgtag_t l4_ipc_receive(l4_cap_idx_t object, l4_utcb_t *utcb, l4_timeout_t timeout) L4_NOTHROW
Wait for a message from a specific source.
Denote that the following item shall be put into the same receive item as this one.
l4_msgtag_t l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *label, l4_timeout_t timeout) L4_NOTHROW
Wait for an incoming message from any possible sender.
l4_umword_t error
System call error codes.
Message tag data structure.
Receive operation canceled.
int l4_ipc_is_rcv_error(l4_utcb_t *utcb) L4_NOTHROW
Returns whether an error occurred in receive phase of an invocation.
Map flexpage failed in send operation.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
Send-pagefault timeout in receive operation.