| /l4re-core-master/l4sys/include/ |
| A D | ipc_gate.h | 80 l4_ipc_gate_get_infos(l4_cap_idx_t gate, l4_umword_t *label);
87 l4_ipc_gate_get_infos_u(l4_cap_idx_t gate, l4_umword_t *label, l4_utcb_t *utcb);
107 l4_ipc_gate_bind_thread_u(l4_cap_idx_t gate, in l4_ipc_gate_bind_thread_u() argument
111 return l4_rcv_ep_bind_thread_u(gate, thread, label, utcb); in l4_ipc_gate_bind_thread_u()
115 l4_ipc_gate_get_infos_u(l4_cap_idx_t gate, l4_umword_t *label, l4_utcb_t *utcb) in l4_ipc_gate_get_infos_u() argument
120 tag = l4_ipc_call(gate, utcb, l4_msgtag(L4_PROTO_KOBJECT, 1, 0, 0), in l4_ipc_gate_get_infos_u()
131 l4_ipc_gate_bind_thread(l4_cap_idx_t gate, l4_cap_idx_t thread, in l4_ipc_gate_bind_thread() argument
134 return l4_rcv_ep_bind_thread_u(gate, thread, label, l4_utcb()); in l4_ipc_gate_bind_thread()
138 l4_ipc_gate_get_infos(l4_cap_idx_t gate, l4_umword_t *label) in l4_ipc_gate_get_infos() argument
140 return l4_ipc_gate_get_infos_u(gate, label, l4_utcb()); in l4_ipc_gate_get_infos()
|
| A D | ipc_gate | 4 * The C++ IPC gate interface.
36 * The C++ IPC gate interface.
39 * domains. An IPC gate can be created using the L4::Factory interface.
41 * Depending on the permissions of the capability used, an IPC gate forwards IPC
52 * IPC gate. The L4::Ipc_gate interface of an IPC gate is only accessible if the
56 * forwarded to the bound thread instead of being processed by the IPC gate
57 * itself. In a client/server scenario, a client should only get IPC gate
59 * tamper with the IPC gate.
61 * When binding a thread to an IPC gate, a user-defined, kernel protected,
86 * Get information about the IPC-gate.
[all …]
|
| A D | factory | 374 * Create a new IPC gate.
376 * \param[out] target_cap The kernel stores the new IPC gate's capability
379 * bind the gate to. Use #L4_INVALID_CAP to create
380 * an unbound IPC gate.
381 * \param label Optional label of the gate (is used if
393 * An unbound IPC gate can be bound to a thread using
|
| A D | kobject | 103 * capabilities or by using the IPC-gate deletion IRQs. And to cleanup
|
| A D | thread | 326 * * deletion of an IPC gate bound to this thread.
396 * directly or by IPC gate) that are already in flight, that is that the sender
|
| /l4re-core-master/libsigma0/lib/src/ |
| A D | client.c | 13 l4sigma0_new_client(l4_cap_idx_t pager, l4_cap_idx_t gate) in l4sigma0_new_client() argument
23 b->br[1] = l4_obj_fpage(gate, 0, 0).raw; in l4sigma0_new_client()
|
| /l4re-core-master/sigma0/doc/ |
| A D | sigma0.dox | 18 * accessible to Moe via an IPC gate capability. Using this capability, Moe can
20 * additional IPC gate capabilities. This request is done using the L4::Factory
|
| /l4re-core-master/l4re/util/include/ |
| A D | object_registry | 43 * an IPC gate is created, the specified thread is bound to the IPC gate.
45 * the label of the IPC gate.
215 * \retval L4::Cap<void> A valid capability to a new IPC gate.
216 * \retval L4::Cap<void>::Invalid The allocation of the IPC gate
219 * The IPC gate will be allocated using the registry's factory. The
251 * software interrupt or an IPC gate.
|
| A D | name_space_svr | 245 * false the label of a locally bound IPC gate.
|
| /l4re-core-master/l4sys/doc/ |
| A D | factory.dox | 52 - Creates an unbound IPC gate.
53 - Alternatively, an IPC gate can be immediately bound to a thread upon
|
| /l4re-core-master/libsigma0/include/ |
| A D | sigma0.h | 206 L4_CV int l4sigma0_new_client(l4_cap_idx_t sigma0, l4_cap_idx_t gate);
|
| /l4re-core-master/l4sys/include/ARCH-mips/ |
| A D | ktrace_events.h | 93 } gate; /* 72 */ member
323 } gate; /* 48 */ member
|
| /l4re-core-master/l4sys/include/cxx/ |
| A D | ipc_epiface | 336 * Register an L4::Epiface for an IPC gate available in the applications
354 * \retval L4::Cap<void> A valid capability to a new IPC gate.
355 * \retval L4::Cap<void>::Invalid The allocation of the IPC gate
359 * of the allocated IPC gate.
388 * may point to an IPC gate or an IRQ.
|
| A D | ipc_types | 443 * only the label of the IPC gate will be provided if the gate
445 * i.e. the target thread of the IPC gate is in the same task as the
658 * an IPC gate where the receiver should become the server, i.e. where
|
| /l4re-core-master/l4sys/include/ARCH-arm/ |
| A D | ktrace_events.h | 92 } gate; /* 48 */ member
|
| /l4re-core-master/l4sys/include/ARCH-arm64/ |
| A D | ktrace_events.h | 92 } gate; /* 72 */ member
|
| /l4re-core-master/l4sys/include/ARCH-ppc32/ |
| A D | ktrace_events.h | 82 } gate; /* 48 */ member
|
| /l4re-core-master/l4sys/include/ARCH-sparc/ |
| A D | ktrace_events.h | 82 } gate; /* 48 */ member
|
| /l4re-core-master/l4sys/include/ARCH-amd64/ |
| A D | ktrace_events.h | 93 } gate; /* 72 */ member
|
| /l4re-core-master/l4sys/include/ARCH-x86/ |
| A D | ktrace_events.h | 93 } gate; /* 48 */ member
|
| /l4re-core-master/ned/doc/ |
| A D | ned.dox | 95 \li \c new_channel() Returns a new IPC gate that can be used to connect
|