26 #include <l4/sys/ipc.h> 161 l4_vcon_read_with_flags_u(
l4_cap_idx_t vcon,
char *buf,
unsigned size,
280 __builtin_memcpy(&mr->
mr[2], buf, size);
316 l4_vcon_read_with_flags_u(
l4_cap_idx_t vcon,
char *buf,
unsigned size,
323 mr = l4_utcb_mr_u(utcb);
343 __builtin_memcpy(buf, &mr->
mr[1], r < size ? r : size);
351 return l4_vcon_read_with_flags_u(vcon, buf, size,
l4_utcb());
357 int r = l4_vcon_read_with_flags_u(vcon, buf, size, utcb);
377 __builtin_memcpy(&mr->
mr[1], attr,
sizeof(*attr));
402 if (l4_error_u(res, utcb) >= 0)
403 __builtin_memcpy(attr, &mr->
mr[1],
sizeof(*attr));
Encapsulation of the message-register block in the UTCB.
Protocol for messages to a log object.
long l4_vcon_write_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW
Write data to this virtual console.
l4_msgtag_t l4_vcon_set_attr_u(l4_cap_idx_t vcon, l4_vcon_attr_t const *attr, l4_utcb_t *utcb) L4_NOTHROW
Set the attributes of this virtual console.
Total number of message register (MRs) available.
int l4_vcon_read_with_flags(l4_cap_idx_t vcon, char *buf, unsigned size) L4_NOTHROW
Read data from virtual console, extended version including flags.
L4_vcon_ops
Operations on vcon objects.
Vcon attribute structure.
L4_vcon_o_flags
Output flags.
unsigned l4_msgtag_has_error(l4_msgtag_t t) L4_NOTHROW
Test for error indicator flag.
l4_msgtag_t l4_vcon_get_attr(l4_cap_idx_t vcon, l4_vcon_attr_t *attr) L4_NOTHROW
Get attributes of a Vcon.
l4_msgtag_t l4_vcon_set_attr(l4_cap_idx_t vcon, l4_vcon_attr_t const *attr) L4_NOTHROW
Set attributes of a Vcon.
l4_umword_t o_flags
output flags
l4_umword_t mr[L4_UTCB_GENERIC_DATA_SIZE]
Message registers.
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).
int l4_vcon_read(l4_cap_idx_t vcon, char *buf, unsigned size) L4_NOTHROW
Read data from virtual console.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
l4_msgtag_t l4_vcon_send(l4_cap_idx_t vcon, char const *buf, unsigned size) L4_NOTHROW
Send data to virtual console.
L4_vcon_size_consts
Size constants.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
#define L4_IPC_NEVER
never timeout
L4_vcon_l_flags
Local flags.
Enable schedule in IPC flag.
Maximum size that can be written with one l4_vcon_write call.
long l4_vcon_write(l4_cap_idx_t vcon, char const *buf, unsigned size) L4_NOTHROW
Write data to virtual console.
Translate CR to NL if L4_VCON_IGNCR is not set.
unsigned long l4_umword_t
Unsigned machine word.
l4_umword_t l_flags
local flags
Maximum size that can be read with one l4_vcon_read* call.
l4_msgtag_t l4_vcon_send_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW
Send data to this virtual console.
L4_vcon_i_flags
Input flags.
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
#define L4_LIKELY(x)
Expression is likely to execute.
l4_msgtag_t l4_msgtag(long label, unsigned words, unsigned items, unsigned flags) L4_NOTHROW
Create a message tag from the specified values.
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_msgtag_t l4_vcon_get_attr_u(l4_cap_idx_t vcon, l4_vcon_attr_t *attr, l4_utcb_t *utcb) L4_NOTHROW
Get attributes of this virtual console.
long l4_error(l4_msgtag_t tag) L4_NOTHROW
Return error code of a system call return message tag.
l4_umword_t i_flags
input flags
struct l4_vcon_attr_t l4_vcon_attr_t
Vcon attribute structure.
L4_vcon_read_flags
Vcon read flags.
Message tag data structure.
int l4_vcon_read_u(l4_cap_idx_t vcon, char *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW
Read data from this virtual console.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.