These flags determine the concrete operation when a kernel object is invoked. More...

Collaboration diagram for Capability selector flags:

Macros
#define	L4_SYSF_NONE
	Empty set of flags.
#define	L4_SYSF_SEND
	Send-phase flag.
#define	L4_SYSF_RECV
	Receive-phase flag.
#define	L4_SYSF_OPEN_WAIT
	Open-wait flag.
#define	L4_SYSF_REPLY
	Reply flag.
#define	L4_SYSF_CALL
	Call flags (combines send and receive).
#define	L4_SYSF_WAIT
	Wait flags (combines receive and open wait).
#define	L4_SYSF_SEND_AND_WAIT
	Send-and-wait flags.
#define	L4_SYSF_REPLY_AND_WAIT
	Reply-and-wait flags.

Detailed Description

These flags determine the concrete operation when a kernel object is invoked.

The following combinations of flags are supported when invoking IPC (see l4_ipc()); with other combinations, behavior is undefined:

L4_SYSF_SEND: send to specified partner
L4_SYSF_RECV: receive from specified partner
L4_SYSF_RECV | L4_SYSF_OPEN_WAIT: receive from any sending partner; see L4_SYSF_WAIT
L4_SYSF_SEND | L4_SYSF_RECV: call specified partner; see L4_SYSF_CALL
L4_SYSF_SEND | L4_SYSF_RECV | L4_SYSF_OPEN_WAIT: send to specified partner and receive from any sending partner; see L4_SYSF_SEND_AND_WAIT
L4_SYSF_REPLY | L4_SYSF_SEND: reply to caller
L4_SYSF_REPLY | L4_SYSF_SEND | L4_SYSF_RECV: call the caller
L4_SYSF_REPLY | L4_SYSF_SEND | L4_SYSF_RECV | L4_SYSF_OPEN_WAIT: reply to caller and receive from any sending partner; see L4_SYSF_REPLY_AND_WAIT

Macro Definition Documentation

◆ L4_SYSF_CALL

#define L4_SYSF_CALL

Call flags (combines send and receive).

Combines L4_SYSF_SEND and L4_SYSF_RECV.

Definition at line 110 of file consts.h.

Referenced by l4_ipc_call().

◆ L4_SYSF_OPEN_WAIT

#define L4_SYSF_OPEN_WAIT

Open-wait flag.

This flag indicates that the receive operation (see L4_SYSF_RECV) shall be an open wait. Open wait means that the invoking thread shall wait for a message from any possible sender and not from the sender denoted by the capability.

Definition at line 93 of file consts.h.

◆ L4_SYSF_RECV

#define L4_SYSF_RECV

Receive-phase flag.

Setting this flag in a capability selector induces a receive phase, this means the invoking thread waits for a message from the object denoted by the capability. For a send phase see L4_SYSF_SEND.

Definition at line 82 of file consts.h.

Referenced by l4_ipc_receive().

◆ L4_SYSF_REPLY

#define L4_SYSF_REPLY

Reply flag.

This flag indicates that the send phase shall use the in-kernel reply capability instead of the capability denoted by the selector index.

Definition at line 102 of file consts.h.

Referenced by l4_ipc_reply().

◆ L4_SYSF_REPLY_AND_WAIT

#define L4_SYSF_REPLY_AND_WAIT

Reply-and-wait flags.

Combines L4_SYSF_SEND, L4_SYSF_REPLY, and L4_SYSF_WAIT.

Definition at line 134 of file consts.h.

Referenced by l4_ipc_reply_and_wait(), and L4::Server< LOOP_HOOKS >::reply_n_wait().

◆ L4_SYSF_SEND

#define L4_SYSF_SEND

Send-phase flag.

Setting this flag in a capability selector induces a send phase, this means a message is sent to the object denoted by the capability. For receive phase see L4_SYSF_RECV.

In l4_vcpu_state_t::user_task this flag means that the kernel has cached the user task capability internally, see l4_thread_vcpu_resume_commit().

Definition at line 71 of file consts.h.

Referenced by l4_ipc_reply(), and l4_ipc_send().